Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | UNSAT | 15.545 | 2.5221 |
Name | Quasigroups/ QuasiGroup-4-07_c18.xml |
MD5SUM | 3b77ed50ef14863a53905eb481969062 |
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 | 6.88428 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 98 |
Number of constraints | 86 |
Number of domains | 2 |
Minimum domain size | 7 |
Maximum domain size | 49 |
Distribution of domain sizes | [{"size":7,"count":49},{"size":49,"count":42}] |
Minimum variable degree | 0 |
Maximum variable degree | 45 |
Distribution of variable degrees | [{"degree":0,"count":7},{"degree":2,"count":42},{"degree":44,"count":7},{"degree":45,"count":42}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":3,"count":42},{"arity":7,"count":1},{"arity":49,"count":1},{"arity":50,"count":42}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 42 |
Distribution of constraint types | [{"type":"intension","count":42},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":42}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297719-1532731131.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297719-1532731131.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.65/0.75 c solve instance... 14.70/2.50 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: 16374 MiB (10374 MiB free) memory of node 1: 16384 MiB (15819 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297719-1532731131/watcher-4297719-1532731131 -o /tmp/evaluation-result-4297719-1532731131/solver-4297719-1532731131 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532723491-24006 --watchdog 2580 HOME/xcsp3-exec -seed 55322058 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297719-1532731131.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 solver pid=25158, runsolver pid=25155 Current StackSize limit: 8192 KiB [startup+0.10011 s]* /proc/loadavg: 8.03 8.04 8.16 2/199 25179 /proc/meminfo: memFree=26806392/32770624 swapFree=67027980/67108860 [pid=25158] ppid=25155 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25158/stat : 25158 (xcsp3-exec) S 25155 25158 23979 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90676292 115843072 363 33554432000 4194304 5098028 140726855176544 140726855174648 140440884544124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19456000 140726855181367 140726855181568 140726855181568 140726855184330 0 /proc/25158/statm: 28282 363 305 221 0 87 0 [pid=25160] ppid=25158 vsize=26104152 memory=27280 CPUtime=0.11 cores=0-7 /proc/25160/stat : 25160 (java) S 25158 25158 23979 0 -1 1077944320 5650 0 0 0 10 1 0 0 20 0 20 0 90676292 26730651648 6820 33554432000 4194304 4196468 140731533400928 140731533383472 140481671757559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 /proc/25160/statm: 6526038 6820 3030 1 0 6488315 0 [pid=25160/tid=25161] ppid=25158 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/25160/task/25161/stat : 25161 (java) R 25158 25158 23979 0 -1 4202560 3661 0 0 0 8 1 0 0 20 0 20 0 90676293 26730651648 6820 33554432000 4194304 4196468 140731533400928 140481675988432 140481283610294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25162] ppid=25158 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/25160/task/25162/stat : 25162 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90676293 26730651648 6820 33554432000 4194304 4196468 140731533400928 140481624378512 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25163] ppid=25158 vsize=26104152 memory=140467523085952 CPUtime=0 cores=0-7 /proc/25160/task/25163/stat : 25163 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676293 26730651648 6820 33554432000 4194304 4196468 140731533400928 140481623325712 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25164] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25164/stat : 25164 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676293 26730651648 6820 33554432000 4194304 4196468 140731533400928 140481622272912 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25165] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25165/stat : 25165 (java) S 25158 25158 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90676293 26730651648 6820 33554432000 4194304 4196468 140731533400928 140481621220112 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25166] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25166/stat : 25166 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90676293 26730651648 6820 33554432000 4194304 4196468 140731533400928 140481620167312 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25167] ppid=25158 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/25160/task/25167/stat : 25167 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676293 26730651648 6820 33554432000 4194304 4196468 140731533400928 140481619114512 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25168] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25168/stat : 25168 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90676293 26730651648 6820 33554432000 4194304 4196468 140731533400928 140481618061712 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25169] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25169/stat : 25169 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90676293 26730651648 6820 33554432000 4194304 4196468 140731533400928 140481617008912 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25170] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25170/stat : 25170 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90676295 26730651648 6820 33554432000 4194304 4196468 140731533400928 140480413846384 140481671768706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25171] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25171/stat : 25171 (java) S 25158 25158 23979 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90676295 26730651648 6820 33554432000 4194304 4196468 140731533400928 140480412792352 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25172] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25172/stat : 25172 (java) S 25158 25158 23979 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90676296 26730651648 6820 33554432000 4194304 4196468 140731533400928 140480411739504 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25173] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25173/stat : 25173 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676298 26730651648 6820 33554432000 4194304 4196468 140731533400928 140480410687824 140481671776155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25174] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25174/stat : 25174 (java) S 25158 25158 23979 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 20 0 90676298 26730651648 6820 33554432000 4194304 4196468 140731533400928 140480409635184 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25175] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25175/stat : 25175 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676298 26730651648 6820 33554432000 4194304 4196468 140731533400928 140480408582384 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25176] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25176/stat : 25176 (java) S 25158 25158 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90676298 26730651648 6820 33554432000 4194304 4196468 140731533400928 140480407529584 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25177] ppid=25158 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/25160/task/25177/stat : 25177 (java) S 25158 25158 23979 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 20 0 90676298 26730651648 6820 33554432000 4194304 4196468 140731533400928 140480406476784 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25178] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25178/stat : 25178 (java) S 25158 25158 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90676298 26730651648 6820 33554432000 4194304 4196468 140731533400928 140480405425248 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25179] ppid=25158 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/25160/task/25179/stat : 25179 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676298 26730651648 6820 33554432000 4194304 4196468 140731533400928 140480404372528 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28732 KiB [startup+0.209929 s]* /proc/loadavg: 8.03 8.04 8.16 4/199 25179 /proc/meminfo: memFree=26794732/32770624 swapFree=67027980/67108860 [pid=25158] ppid=25155 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25158/stat : 25158 (xcsp3-exec) S 25155 25158 23979 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90676292 115843072 363 33554432000 4194304 5098028 140726855176544 140726855174648 140440884544124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19456000 140726855181367 140726855181568 140726855181568 140726855184330 0 /proc/25158/statm: 28282 363 305 221 0 87 0 [pid=25160] ppid=25158 vsize=26104152 memory=39704 CPUtime=0.33 cores=0-7 /proc/25160/stat : 25160 (java) S 25158 25158 23979 0 -1 1077944320 8452 0 0 0 31 2 0 0 20 0 20 0 90676292 26730651648 9926 33554432000 4194304 4196468 140731533400928 140731533383472 140481671757559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 /proc/25160/statm: 6526038 9926 3195 1 0 6488315 0 [pid=25160/tid=25161] ppid=25158 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/25160/task/25161/stat : 25161 (java) R 25158 25158 23979 0 -1 4202560 5541 0 0 0 18 2 0 0 20 0 20 0 90676293 26730651648 9926 33554432000 4194304 4196468 140731533400928 140481675994608 140481671779485 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25162] ppid=25158 vsize=26104152 memory=329 CPUtime=0 cores=0-7 /proc/25160/task/25162/stat : 25162 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90676293 26730651648 9926 33554432000 4194304 4196468 140731533400928 140481624378512 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25163] ppid=25158 vsize=26104152 memory=140467523110731 CPUtime=0 cores=0-7 /proc/25160/task/25163/stat : 25163 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676293 26730651648 9926 33554432000 4194304 4196468 140731533400928 140481623325712 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25164] ppid=25158 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/25160/task/25164/stat : 25164 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676293 26730651648 9926 33554432000 4194304 4196468 140731533400928 140481622272912 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25165] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25165/stat : 25165 (java) S 25158 25158 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90676293 26730651648 9926 33554432000 4194304 4196468 140731533400928 140481621220112 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25166] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25166/stat : 25166 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90676293 26730651648 9926 33554432000 4194304 4196468 140731533400928 140481620167312 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25167] ppid=25158 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/25160/task/25167/stat : 25167 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676293 26730651648 9926 33554432000 4194304 4196468 140731533400928 140481619114512 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25168] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25168/stat : 25168 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90676293 26730651648 9926 33554432000 4194304 4196468 140731533400928 140481618061712 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25169] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25169/stat : 25169 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90676293 26730651648 9926 33554432000 4194304 4196468 140731533400928 140481617008912 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25170] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25170/stat : 25170 (java) S 25158 25158 23979 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90676295 26730651648 9926 33554432000 4194304 4196468 140731533400928 140480413846384 140481671768706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25171] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25171/stat : 25171 (java) S 25158 25158 23979 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90676295 26730651648 9926 33554432000 4194304 4196468 140731533400928 140480412792352 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25172] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25172/stat : 25172 (java) S 25158 25158 23979 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90676296 26730651648 9926 33554432000 4194304 4196468 140731533400928 140480411739504 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25173] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25173/stat : 25173 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676298 26730651648 9926 33554432000 4194304 4196468 140731533400928 140480410687824 140481671776155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25174] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25174/stat : 25174 (java) S 25158 25158 23979 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 20 0 90676298 26730651648 9926 33554432000 4194304 4196468 140731533400928 140480409635184 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25175] ppid=25158 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/25160/task/25175/stat : 25175 (java) S 25158 25158 23979 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 20 0 90676298 26730651648 9926 33554432000 4194304 4196468 140731533400928 140480408582384 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25176] ppid=25158 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/25160/task/25176/stat : 25176 (java) S 25158 25158 23979 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 90676298 26730651648 9926 33554432000 4194304 4196468 140731533400928 140480407529584 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25177] ppid=25158 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7 /proc/25160/task/25177/stat : 25177 (java) S 25158 25158 23979 0 -1 1077944384 795 0 0 0 8 0 0 0 20 0 20 0 90676298 26730651648 9926 33554432000 4194304 4196468 140731533400928 140480406476784 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25178] ppid=25158 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25178/stat : 25178 (java) S 25158 25158 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90676298 26730651648 9926 33554432000 4194304 4196468 140731533400928 140480405425248 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25179] ppid=25158 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/25160/task/25179/stat : 25179 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676298 26730651648 9926 33554432000 4194304 4196468 140731533400928 140480404372528 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41156 KiB [startup+0.309411 s]* /proc/loadavg: 8.03 8.04 8.16 3/199 25179 /proc/meminfo: memFree=26788528/32770624 swapFree=67027980/67108860 [pid=25158] ppid=25155 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25158/stat : 25158 (xcsp3-exec) S 25155 25158 23979 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90676292 115843072 363 33554432000 4194304 5098028 140726855176544 140726855174648 140440884544124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19456000 140726855181367 140726855181568 140726855181568 140726855184330 0 /proc/25158/statm: 28282 363 305 221 0 87 0 [pid=25160] ppid=25158 vsize=26108408 memory=46548 CPUtime=0.51 cores=0-7 /proc/25160/stat : 25160 (java) S 25158 25158 23979 0 -1 1077944320 9317 0 0 0 48 3 0 0 20 0 20 0 90676292 26735009792 11637 33554432000 4194304 4196468 140731533400928 140731533383472 140481671757559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 /proc/25160/statm: 6527102 11637 3243 1 0 6488315 0 [pid=25160/tid=25161] ppid=25158 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/25160/task/25161/stat : 25161 (java) R 25158 25158 23979 0 -1 4202560 6205 0 0 0 27 2 0 0 20 0 20 0 90676293 26735009792 11637 33554432000 4194304 4196468 140731533400928 140481675991344 140481655838046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25162] ppid=25158 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25162/stat : 25162 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90676293 26735009792 11637 33554432000 4194304 4196468 140731533400928 140481624378512 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25163] ppid=25158 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25163/stat : 25163 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676293 26735009792 11637 33554432000 4194304 4196468 140731533400928 140481623325712 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25164] ppid=25158 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25164/stat : 25164 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676293 26735009792 11637 33554432000 4194304 4196468 140731533400928 140481622272912 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25165] ppid=25158 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25165/stat : 25165 (java) S 25158 25158 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90676293 26735009792 11637 33554432000 4194304 4196468 140731533400928 140481621220112 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25166] ppid=25158 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/25160/task/25166/stat : 25166 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90676293 26735009792 11637 33554432000 4194304 4196468 140731533400928 140481620167312 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25167] ppid=25158 vsize=26108408 memory=140467375272879 CPUtime=0 cores=0-7 /proc/25160/task/25167/stat : 25167 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676293 26735009792 11637 33554432000 4194304 4196468 140731533400928 140481619114512 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25168] ppid=25158 vsize=26108408 memory=140467375275184 CPUtime=0 cores=0-7 /proc/25160/task/25168/stat : 25168 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90676293 26735009792 11637 33554432000 4194304 4196468 140731533400928 140481618061712 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25169] ppid=25158 vsize=26108408 memory=140467375277488 CPUtime=0 cores=0-7 /proc/25160/task/25169/stat : 25169 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90676293 26735009792 11637 33554432000 4194304 4196468 140731533400928 140481617008912 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25170] ppid=25158 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25170/stat : 25170 (java) S 25158 25158 23979 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90676295 26735009792 11637 33554432000 4194304 4196468 140731533400928 140480413846384 140481671768706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25171] ppid=25158 vsize=26108408 memory=280934750561936 CPUtime=0 cores=0-7 /proc/25160/task/25171/stat : 25171 (java) S 25158 25158 23979 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90676295 26735009792 11637 33554432000 4194304 4196468 140731533400928 140480412792352 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25172] ppid=25158 vsize=26108408 memory=280934750568848 CPUtime=0 cores=0-7 /proc/25160/task/25172/stat : 25172 (java) S 25158 25158 23979 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90676296 26735009792 11637 33554432000 4194304 4196468 140731533400928 140480411739504 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25173] ppid=25158 vsize=26108408 memory=280934750510000 CPUtime=0 cores=0-7 /proc/25160/task/25173/stat : 25173 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676298 26735009792 11637 33554432000 4194304 4196468 140731533400928 140480410687824 140481671776155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25174] ppid=25158 vsize=26108408 memory=280934750582672 CPUtime=0 cores=0-7 /proc/25160/task/25174/stat : 25174 (java) S 25158 25158 23979 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 90676298 26735009792 11637 33554432000 4194304 4196468 140731533400928 140480409635184 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25175] ppid=25158 vsize=26108408 memory=280934750589584 CPUtime=0.04 cores=0-7 /proc/25160/task/25175/stat : 25175 (java) S 25158 25158 23979 0 -1 1077944384 341 0 0 0 4 0 0 0 20 0 20 0 90676298 26735009792 11637 33554432000 4194304 4196468 140731533400928 140480408582384 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25176] ppid=25158 vsize=26108408 memory=280934750587280 CPUtime=0.03 cores=0-7 /proc/25160/task/25176/stat : 25176 (java) R 25158 25158 23979 0 -1 4202560 150 0 0 0 3 0 0 0 20 0 20 0 90676298 26735009792 11637 33554432000 4194304 4196468 140731533400928 140480407529584 140481653279268 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25177] ppid=25158 vsize=26108408 memory=280934750603440 CPUtime=0.12 cores=0-7 /proc/25160/task/25177/stat : 25177 (java) S 25158 25158 23979 0 -1 1077944384 886 0 0 0 12 0 0 0 20 0 20 0 90676298 26735009792 11637 33554432000 4194304 4196468 140731533400928 140480406476784 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25178] ppid=25158 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25178/stat : 25178 (java) S 25158 25158 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90676298 26735009792 11637 33554432000 4194304 4196468 140731533400928 140480405425248 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25179] ppid=25158 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/25160/task/25179/stat : 25179 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676298 26735009792 11637 33554432000 4194304 4196468 140731533400928 140480404372528 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48000 KiB [startup+0.700869 s] /proc/loadavg: 8.03 8.04 8.16 4/199 25179 /proc/meminfo: memFree=26772480/32770624 swapFree=67027980/67108860 [pid=25158] ppid=25155 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25158/stat : 25158 (xcsp3-exec) S 25155 25158 23979 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90676292 115843072 363 33554432000 4194304 5098028 140726855176544 140726855174648 140440884544124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19456000 140726855181367 140726855181568 140726855181568 140726855184330 0 /proc/25158/statm: 28282 363 305 221 0 87 0 [pid=25160] ppid=25158 vsize=26110532 memory=83788 CPUtime=1.65 cores=0-7 /proc/25160/stat : 25160 (java) S 25158 25158 23979 0 -1 1077944320 12586 0 0 0 160 5 0 0 20 0 20 0 90676292 26737184768 20947 33554432000 4194304 4196468 140731533400928 140731533383472 140481671757559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 /proc/25160/statm: 6527633 20947 3363 1 0 6488827 0 [pid=25160/tid=25161] ppid=25158 vsize=26110532 memory=280934750961328 CPUtime=0.67 cores=0-7 /proc/25160/task/25161/stat : 25161 (java) R 25158 25158 23979 0 -1 4202560 7185 0 0 0 64 3 0 0 20 0 20 0 90676293 26737184768 20947 33554432000 4194304 4196468 140731533400928 140481675994992 140481654279130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25162] ppid=25158 vsize=26110532 memory=140467375481712 CPUtime=0 cores=0-7 /proc/25160/task/25162/stat : 25162 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90676293 26737184768 20947 33554432000 4194304 4196468 140731533400928 140481624378512 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25163] ppid=25158 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25163/stat : 25163 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676293 26737184768 20947 33554432000 4194304 4196468 140731533400928 140481623325712 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25164] ppid=25158 vsize=26110532 memory=2764 CPUtime=0 cores=0-7 /proc/25160/task/25164/stat : 25164 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90676293 26737184768 20947 33554432000 4194304 4196468 140731533400928 140481622272912 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 ################ # More data... # ################ [pid=25160/tid=25168] ppid=25158 vsize=26645092 memory=-7595718148000617580 CPUtime=0 cores=0-7 /proc/25160/task/25168/stat : 25168 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90676293 27284574208 34064 33554432000 4194304 4196468 140731533400928 140481618061712 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25169] ppid=25158 vsize=26645092 memory=8329886462028641811 CPUtime=0 cores=0-7 /proc/25160/task/25169/stat : 25169 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90676293 27284574208 34064 33554432000 4194304 4196468 140731533400928 140481617008912 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25170] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25170/stat : 25170 (java) S 25158 25158 23979 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 90676295 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480413846384 140481671768706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25171] ppid=25158 vsize=26645092 memory=-5345911753256963030 CPUtime=0 cores=0-7 /proc/25160/task/25171/stat : 25171 (java) S 25158 25158 23979 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 90676295 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480412792352 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25172] ppid=25158 vsize=26645092 memory=-7019007802211101846 CPUtime=0 cores=0-7 /proc/25160/task/25172/stat : 25172 (java) S 25158 25158 23979 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 90676296 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480411739504 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25173] ppid=25158 vsize=26645092 memory=-6876588461455810464 CPUtime=0 cores=0-7 /proc/25160/task/25173/stat : 25173 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90676298 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480410687824 140481671776155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25174] ppid=25158 vsize=26645092 memory=7681421203011431829 CPUtime=0.88 cores=0-7 /proc/25160/task/25174/stat : 25174 (java) R 25158 25158 23979 0 -1 4202560 3064 0 0 0 87 1 0 0 20 0 28 0 90676298 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480409622104 140481664047008 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25175] ppid=25158 vsize=26645092 memory=1452 CPUtime=0.96 cores=0-7 /proc/25160/task/25175/stat : 25175 (java) R 25158 25158 23979 0 -1 4202560 3049 0 0 0 95 1 0 0 20 0 28 0 90676298 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480408574872 140481656880057 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25176] ppid=25158 vsize=26645092 memory=129840 CPUtime=0.86 cores=0-7 /proc/25160/task/25176/stat : 25176 (java) R 25158 25158 23979 0 -1 4202560 3821 0 0 0 85 1 0 0 20 0 28 0 90676298 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480407515808 140481656883887 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25177] ppid=25158 vsize=26645092 memory=0 CPUtime=0.63 cores=0-7 /proc/25160/task/25177/stat : 25177 (java) S 25158 25158 23979 0 -1 1077944384 3080 0 0 0 62 1 0 0 20 0 28 0 90676298 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480406476784 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25178] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25178/stat : 25178 (java) S 25158 25158 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90676298 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480405425248 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25179] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25179/stat : 25179 (java) S 25158 25158 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90676298 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480404372528 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25180] ppid=25158 vsize=26645092 memory=0 CPUtime=0.96 cores=0-7 /proc/25160/task/25180/stat : 25180 (java) R 25158 25158 23979 0 -1 4202560 72 0 0 0 96 0 0 0 20 0 28 0 90676368 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480395585912 140481290604519 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25181] ppid=25158 vsize=26645092 memory=0 CPUtime=0.89 cores=0-7 /proc/25160/task/25181/stat : 25181 (java) R 25158 25158 23979 0 -1 4202560 74 0 0 0 89 0 0 0 20 0 28 0 90676368 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480327175496 140481289378105 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25182] ppid=25158 vsize=26645092 memory=0 CPUtime=0.96 cores=0-7 /proc/25160/task/25182/stat : 25182 (java) R 25158 25158 23979 0 -1 4202560 170 0 0 0 96 0 0 0 20 0 28 0 90676368 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480326125064 140481290602856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25183] ppid=25158 vsize=26645092 memory=0 CPUtime=0.86 cores=0-7 /proc/25160/task/25183/stat : 25183 (java) R 25158 25158 23979 0 -1 4202560 185 0 0 0 86 0 0 0 20 0 28 0 90676368 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480325069896 140481290217005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25184] ppid=25158 vsize=26645092 memory=0 CPUtime=1.07 cores=0-7 /proc/25160/task/25184/stat : 25184 (java) R 25158 25158 23979 0 -1 4202560 112 0 0 0 107 0 0 0 20 0 28 0 90676368 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480324017496 140481289666686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25185] ppid=25158 vsize=26645092 memory=0 CPUtime=0.96 cores=0-7 /proc/25160/task/25185/stat : 25185 (java) R 25158 25158 23979 0 -1 4202560 70 0 0 0 96 0 0 0 20 0 28 0 90676368 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480322961872 140481290116814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25186] ppid=25158 vsize=26645092 memory=3472592183261933599 CPUtime=0.93 cores=0-7 /proc/25160/task/25186/stat : 25186 (java) R 25158 25158 23979 0 -1 4202560 76 0 0 0 93 0 0 0 20 0 28 0 90676368 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480321912520 140481290361252 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25187] ppid=25158 vsize=26645092 memory=3683997504551138079 CPUtime=0.84 cores=0-7 /proc/25160/task/25187/stat : 25187 (java) R 25158 25158 23979 0 -1 4202560 82 0 0 0 84 0 0 0 20 0 28 0 90676369 27284574208 34064 33554432000 4194304 4196468 140731533400928 140480320862184 140481290116794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 Current children cumulated CPU time: 11.61 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 137708 KiB [startup+2.40113 s] /proc/loadavg: 8.03 8.04 8.16 12/207 25187 /proc/meminfo: memFree=26700404/32770624 swapFree=67027980/67108860 [pid=25158] ppid=25155 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25158/stat : 25158 (xcsp3-exec) S 25155 25158 23979 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90676292 115843072 363 33554432000 4194304 5098028 140726855176544 140726855174648 140440884544124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19456000 140726855181367 140726855181568 140726855181568 140726855184330 0 /proc/25158/statm: 28282 363 305 221 0 87 0 [pid=25160] ppid=25158 vsize=26645092 memory=142388 CPUtime=14.7 cores=0-7 /proc/25160/stat : 25160 (java) S 25158 25158 23979 0 -1 1077944320 25906 0 0 0 1458 12 0 0 20 0 28 0 90676292 27284574208 35597 33554432000 4194304 4196468 140731533400928 140731533383472 140481671757559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 /proc/25160/statm: 6661273 35597 3387 1 0 6622467 0 [pid=25160/tid=25161] ppid=25158 vsize=26645092 memory=0 CPUtime=0.73 cores=0-7 /proc/25160/task/25161/stat : 25161 (java) S 25158 25158 23979 0 -1 1077944384 7261 0 0 0 70 3 0 0 20 0 28 0 90676293 27284574208 35597 33554432000 4194304 4196468 140731533400928 140481675998336 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25162] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25162/stat : 25162 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90676293 27284574208 35597 33554432000 4194304 4196468 140731533400928 140481624378512 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25163] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25163/stat : 25163 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90676293 27284574208 35597 33554432000 4194304 4196468 140731533400928 140481623325712 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25164] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25164/stat : 25164 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90676293 27284574208 35597 33554432000 4194304 4196468 140731533400928 140481622272912 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25165] ppid=25158 vsize=26645092 memory=1452 CPUtime=0 cores=0-7 /proc/25160/task/25165/stat : 25165 (java) S 25158 25158 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90676293 27284574208 35597 33554432000 4194304 4196468 140731533400928 140481621220112 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25166] ppid=25158 vsize=26645092 memory=123732 CPUtime=0 cores=0-7 /proc/25160/task/25166/stat : 25166 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90676293 27284574208 35597 33554432000 4194304 4196468 140731533400928 140481620167312 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25167] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25167/stat : 25167 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90676293 27284574208 35597 33554432000 4194304 4196468 140731533400928 140481619114512 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25168] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25168/stat : 25168 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90676293 27284574208 35597 33554432000 4194304 4196468 140731533400928 140481618061712 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25169] ppid=25158 vsize=26645092 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/25160/task/25169/stat : 25169 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90676293 27284574208 35597 33554432000 4194304 4196468 140731533400928 140481617008912 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25170] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25170/stat : 25170 (java) S 25158 25158 23979 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 90676295 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480413846384 140481671768706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25171] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25171/stat : 25171 (java) S 25158 25158 23979 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 90676295 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480412792352 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25172] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25172/stat : 25172 (java) S 25158 25158 23979 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 90676296 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480411739504 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25173] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25173/stat : 25173 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90676298 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480410687824 140481671776155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25174] ppid=25158 vsize=26645092 memory=0 CPUtime=1.12 cores=0-7 /proc/25160/task/25174/stat : 25174 (java) R 25158 25158 23979 0 -1 4202560 4326 0 0 0 111 1 0 0 20 0 28 0 90676298 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480409621752 140481655144336 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25175] ppid=25158 vsize=26645092 memory=0 CPUtime=1.2 cores=0-7 /proc/25160/task/25175/stat : 25175 (java) R 25158 25158 23979 0 -1 4202560 4344 0 0 0 119 1 0 0 20 0 28 0 90676298 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480408563400 140481655243577 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25176] ppid=25158 vsize=26645092 memory=0 CPUtime=1.03 cores=0-7 /proc/25160/task/25176/stat : 25176 (java) R 25158 25158 23979 0 -1 4202560 4227 0 0 0 102 1 0 0 20 0 28 0 90676298 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480407522072 140481657812918 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25177] ppid=25158 vsize=26645092 memory=0 CPUtime=0.67 cores=0-7 /proc/25160/task/25177/stat : 25177 (java) R 25158 25158 23979 0 -1 1077944384 3485 0 0 0 66 1 0 0 20 0 28 0 90676298 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480406476784 140481671768706 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25178] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25178/stat : 25178 (java) S 25158 25158 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90676298 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480405425248 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25179] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25179/stat : 25179 (java) S 25158 25158 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90676298 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480404372528 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25180] ppid=25158 vsize=26645092 memory=0 CPUtime=1.23 cores=0-7 /proc/25160/task/25180/stat : 25180 (java) R 25158 25158 23979 0 -1 4202560 90 0 0 0 123 0 0 0 20 0 28 0 90676368 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480395586104 140481289667510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25181] ppid=25158 vsize=26645092 memory=0 CPUtime=1.22 cores=0-7 /proc/25160/task/25181/stat : 25181 (java) R 25158 25158 23979 0 -1 4202560 90 0 0 0 122 0 0 0 20 0 28 0 90676368 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480327176056 140481290120147 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25182] ppid=25158 vsize=26645092 memory=0 CPUtime=1.16 cores=0-7 /proc/25160/task/25182/stat : 25182 (java) R 25158 25158 23979 0 -1 4202560 173 0 0 0 116 0 0 0 20 0 28 0 90676368 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480326123400 140481290605355 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25183] ppid=25158 vsize=26645092 memory=0 CPUtime=1.16 cores=0-7 /proc/25160/task/25183/stat : 25183 (java) R 25158 25158 23979 0 -1 4202560 189 0 0 0 116 0 0 0 20 0 28 0 90676368 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480325070664 140481290307892 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25184] ppid=25158 vsize=26645092 memory=0 CPUtime=1.36 cores=0-7 /proc/25160/task/25184/stat : 25184 (java) R 25158 25158 23979 0 -1 4202560 116 0 0 0 136 0 0 0 20 0 28 0 90676368 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480324016944 140481289667567 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25185] ppid=25158 vsize=26645092 memory=0 CPUtime=1.33 cores=0-7 /proc/25160/task/25185/stat : 25185 (java) R 25158 25158 23979 0 -1 4202560 88 0 0 0 133 0 0 0 20 0 28 0 90676368 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480322964576 140481289666752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25186] ppid=25158 vsize=26645092 memory=0 CPUtime=1.21 cores=0-7 /proc/25160/task/25186/stat : 25186 (java) R 25158 25158 23979 0 -1 4202560 93 0 0 0 121 0 0 0 20 0 28 0 90676368 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480321912712 140481290273458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25187] ppid=25158 vsize=26645092 memory=0 CPUtime=1.17 cores=0-7 /proc/25160/task/25187/stat : 25187 (java) R 25158 25158 23979 0 -1 4202560 87 0 0 0 117 0 0 0 20 0 28 0 90676369 27284574208 35597 33554432000 4194304 4196468 140731533400928 140480320860200 140481290781558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 Current children cumulated CPU time: 14.7 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 143840 KiB [startup+2.50547 s] /proc/loadavg: 8.03 8.04 8.16 12/207 25187 /proc/meminfo: memFree=26700404/32770624 swapFree=67027980/67108860 [pid=25158] ppid=25155 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25158/stat : 25158 (xcsp3-exec) S 25155 25158 23979 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90676292 115843072 363 33554432000 4194304 5098028 140726855176544 140726855174648 140440884544124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19456000 140726855181367 140726855181568 140726855181568 140726855184330 0 /proc/25158/statm: 28282 363 305 221 0 87 0 [pid=25160] ppid=25158 vsize=26645092 memory=144196 CPUtime=15.53 cores=0-7 /proc/25160/stat : 25160 (java) S 25158 25158 23979 0 -1 1077944320 26215 0 0 0 1540 13 0 0 20 0 19 0 90676292 27284574208 36049 33554432000 4194304 4196468 140731533400928 140731533383472 140481671757559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 /proc/25160/statm: 6661273 36049 3389 1 0 6622467 0 [pid=25160/tid=25161] ppid=25158 vsize=26645092 memory=1452 CPUtime=0.73 cores=0-7 /proc/25160/task/25161/stat : 25161 (java) S 25158 25158 23979 0 -1 1077944384 7362 0 0 0 70 3 0 0 20 0 19 0 90676293 27284574208 36049 33554432000 4194304 4196468 140731533400928 140481676000400 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25162] ppid=25158 vsize=26645092 memory=136368 CPUtime=0 cores=0-7 /proc/25160/task/25162/stat : 25162 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 90676293 27284574208 36049 33554432000 4194304 4196468 140731533400928 140481624378512 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25163] ppid=25158 vsize=26645092 memory=64 CPUtime=0 cores=0-7 /proc/25160/task/25163/stat : 25163 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 90676293 27284574208 36049 33554432000 4194304 4196468 140731533400928 140481623325712 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25164] ppid=25158 vsize=26645092 memory=140467375286376 CPUtime=0 cores=0-7 /proc/25160/task/25164/stat : 25164 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 90676293 27284574208 36049 33554432000 4194304 4196468 140731533400928 140481622272912 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25165] ppid=25158 vsize=26645092 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/25160/task/25165/stat : 25165 (java) S 25158 25158 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 90676293 27284574208 36049 33554432000 4194304 4196468 140731533400928 140481621220112 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25166] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25166/stat : 25166 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 90676293 27284574208 36049 33554432000 4194304 4196468 140731533400928 140481620167312 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25167] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25167/stat : 25167 (java) S 25158 25158 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 90676293 27284574208 36049 33554432000 4194304 4196468 140731533400928 140481619114512 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25168] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25168/stat : 25168 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 90676293 27284574208 36049 33554432000 4194304 4196468 140731533400928 140481618061712 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25169] ppid=25158 vsize=26645092 memory=140471818053247 CPUtime=0 cores=0-7 /proc/25160/task/25169/stat : 25169 (java) S 25158 25158 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 90676293 27284574208 36049 33554432000 4194304 4196468 140731533400928 140481617008912 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25170] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25170/stat : 25170 (java) S 25158 25158 23979 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 90676295 27284574208 36049 33554432000 4194304 4196468 140731533400928 140480413846592 140481671768706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25171] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25171/stat : 25171 (java) S 25158 25158 23979 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 90676295 27284574208 36049 33554432000 4194304 4196468 140731533400928 140480412792352 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25172] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25172/stat : 25172 (java) S 25158 25158 23979 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 90676296 27284574208 36049 33554432000 4194304 4196468 140731533400928 140480411739504 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25173] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25173/stat : 25173 (java) S 25158 25158 23979 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 90676298 27284574208 36049 33554432000 4194304 4196468 140731533400928 140480410686592 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25174] ppid=25158 vsize=26645092 memory=57 CPUtime=1.16 cores=0-7 /proc/25160/task/25174/stat : 25174 (java) S 25158 25158 23979 0 -1 1077944384 4340 0 0 0 115 1 0 0 20 0 19 0 90676298 27284574208 36049 33554432000 4194304 4196468 140731533400928 140480409615584 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25175] ppid=25158 vsize=26645092 memory=9169 CPUtime=1.25 cores=0-7 /proc/25160/task/25175/stat : 25175 (java) S 25158 25158 23979 0 -1 1077944384 4428 0 0 0 124 1 0 0 20 0 19 0 90676298 27284574208 36049 33554432000 4194304 4196468 140731533400928 140480408567344 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25176] ppid=25158 vsize=26645092 memory=21522 CPUtime=1.09 cores=0-7 /proc/25160/task/25176/stat : 25176 (java) S 25158 25158 23979 0 -1 1077944384 4242 0 0 0 108 1 0 0 20 0 19 0 90676298 27284574208 36049 33554432000 4194304 4196468 140731533400928 140480407508832 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25177] ppid=25158 vsize=26645092 memory=0 CPUtime=0.68 cores=0-7 /proc/25160/task/25177/stat : 25177 (java) S 25158 25158 23979 0 -1 1077944384 3495 0 0 0 67 1 0 0 20 0 19 0 90676298 27284574208 36049 33554432000 4194304 4196468 140731533400928 140480406476784 140481671768706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 [pid=25160/tid=25178] ppid=25158 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25160/task/25178/stat : 25178 (java) S 25158 25158 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 90676298 27284574208 36049 33554432000 4194304 4196468 140731533400928 140480405425248 140481671767765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6746112 140731533407361 140731533407533 140731533407533 140731533410255 0 Current children cumulated CPU time: 15.53 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 145648 KiB Child status: 0 Real time (s): 2.5221 CPU time (s): 15.545 CPU user time (s): 15.4033 CPU system time (s): 0.141712 CPU usage (%): 616.351 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 145648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.4033 system time used= 0.141712 maximum resident set size= 144880 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26774 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= 3938 involuntary context switches= 458 # summary of solver processes directly reported to runsolver: # pid: 25158 # total CPU time (s): 15.545 # total CPU user time (s): 15.4033 # total CPU system time (s): 0.141712 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.036088 second user time and 0.073207 second system time The end
Begin job on node102 at 2018-07-28 00:38:51 IDJOB=4297719 IDBENCH=141614 IDSOLVER=2760 FILE ID=node102/4297719-1532731131 RUNJOBID= node102-1532723491-24006 PBS_JOBID= 21022336 Free space on /tmp= 52748 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Quasigroups/QuasiGroup-4-07_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297719-1532731131/watcher-4297719-1532731131 -o /tmp/evaluation-result-4297719-1532731131/solver-4297719-1532731131 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532723491-24006 --watchdog 2580 HOME/xcsp3-exec -seed 55322058 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297719-1532731131.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3b77ed50ef14863a53905eb481969062 RANDOM SEED=55322058 node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 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.51 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.51 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.51 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: 26822980 kB MemAvailable: 31933200 kB Buffers: 197536 kB Cached: 5168600 kB SwapCached: 53628 kB Active: 1205956 kB Inactive: 4241736 kB Active(anon): 7408 kB Inactive(anon): 98932 kB Active(file): 1198548 kB Inactive(file): 4142804 kB Unevictable: 6644 kB Mlocked: 6644 kB SwapTotal: 67108860 kB SwapFree: 67027980 kB Dirty: 21708 kB Writeback: 0 kB AnonPages: 35968 kB Mapped: 35012 kB Shmem: 21760 kB Slab: 196768 kB SReclaimable: 169408 kB SUnreclaim: 27360 kB KernelStack: 3232 kB PageTables: 5112 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323844 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 52728 MiB End job on node102 at 2018-07-28 00:38:54