Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 | ? (TO) | 2520.03 | 2514.41 |
Name | Bibd/Bibd-sum-lex/ Bibd-sum-09-120-40-03-10.xml |
MD5SUM | 516a10ad09fd7e852a109bf36c14a2d3 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 34.1236 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1080 |
Number of constraints | 166 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":1080}] |
Minimum variable degree | 11 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":11,"count":1080}] |
Minimum constraint arity | 9 |
Maximum constraint arity | 1080 |
Distribution of constraint arities | [{"arity":9,"count":120},{"arity":120,"count":9},{"arity":240,"count":36},{"arity":1080,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":165}] |
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-4405749-1569400303.xml" -tl '2520s' -p 1 0.12/0.19 c Choco e747e1e 0.12/0.19 c [HOME/instance-4405749-1569400303.xml, -tl, 2520s, -p, 1] 0.34/0.24 c simple solver 0.34/0.31 c parse instance... 1.26/0.68 c solve instance... 2520.01/2514.40 s UNKNOWN 2520.01/2514.40 c Unexpected resolution interruption!
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16375 MiB (12474 MiB free) memory of node 1: 16384 MiB (12493 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405749-1569400303/watcher-4405749-1569400303 -o /tmp/evaluation-result-4405749-1569400303/solver-4405749-1569400303 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324911091-15160 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4405749-1569400303.xml running on 4 cores: 4-7 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=16184, runsolver pid=16181 Current StackSize limit: 8192 KiB [startup+0.100094 s]* /proc/loadavg: 2.04 1.97 1.90 3/229 16200 /proc/meminfo: memFree=25551396/32770688 swapFree=66927664/67108860 [pid=16184] ppid=16181 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 15128 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516036489 115843072 363 33554432000 4194304 5098028 140724187892256 140724187890360 139668468245116 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21852160 140724187894650 140724187894893 140724187894893 140724187897802 0 /proc/16184/statm: 28282 363 304 221 0 87 0 [pid=16186] ppid=16184 vsize=15144776 memory=28924 CPUtime=0.12 cores=4-7 /proc/16186/stat : 16186 (java) S 16184 16184 15128 0 -1 1077944320 5625 0 0 0 11 1 0 0 20 0 15 0 516036489 15508250624 7231 33554432000 4194304 4196468 140735902668128 140735902650672 140150680911607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 /proc/16186/statm: 3786194 7231 3166 1 0 3748377 0 [pid=16186/tid=16187] ppid=16184 vsize=15144776 memory=8108032331684915787 CPUtime=0.09 cores=4-7 /proc/16186/task/16187/stat : 16187 (java) R 16184 16184 15128 0 -1 4202560 3560 0 0 0 8 1 0 0 20 0 15 0 516036489 15508250624 7231 33554432000 4194304 4196468 140735902668128 140150685144880 140150664955237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16188] ppid=16184 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=4-7 /proc/16186/task/16188/stat : 16188 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036490 15508250624 7231 33554432000 4194304 4196468 140735902668128 140150633532304 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16189] ppid=16184 vsize=15144776 memory=140070732240512 CPUtime=0 cores=4-7 /proc/16186/task/16189/stat : 16189 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036490 15508250624 7231 33554432000 4194304 4196468 140735902668128 140150632479504 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16190] ppid=16184 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/16186/task/16190/stat : 16190 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036490 15508250624 7231 33554432000 4194304 4196468 140735902668128 140150631427216 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16191] ppid=16184 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/16186/task/16191/stat : 16191 (java) S 16184 16184 15128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516036490 15508250624 7231 33554432000 4194304 4196468 140735902668128 140150630374416 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16192] ppid=16184 vsize=15144776 memory=140070732240512 CPUtime=0 cores=4-7 /proc/16186/task/16192/stat : 16192 (java) S 16184 16184 15128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516036491 15508250624 7231 33554432000 4194304 4196468 140735902668128 140150149466224 140150680922754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16193] ppid=16184 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/16186/task/16193/stat : 16193 (java) S 16184 16184 15128 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516036492 15508250624 7231 33554432000 4194304 4196468 140735902668128 140150148412192 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16194] ppid=16184 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/16186/task/16194/stat : 16194 (java) S 16184 16184 15128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516036492 15508250624 7231 33554432000 4194304 4196468 140735902668128 140150147359856 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16195] ppid=16184 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/16186/task/16195/stat : 16195 (java) S 16184 16184 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516036495 15508250624 7231 33554432000 4194304 4196468 140735902668128 140150146308176 140150680930203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16196] ppid=16184 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/16186/task/16196/stat : 16196 (java) S 16184 16184 15128 0 -1 1077944384 404 0 0 0 0 0 0 0 20 0 15 0 516036495 15508250624 7231 33554432000 4194304 4196468 140735902668128 140150145256048 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16197] ppid=16184 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/16186/task/16197/stat : 16197 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036495 15508250624 7231 33554432000 4194304 4196468 140735902668128 140150144203248 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16198] ppid=16184 vsize=15144776 memory=140070732240512 CPUtime=0.01 cores=4-7 /proc/16186/task/16198/stat : 16198 (java) R 16184 16184 15128 0 -1 4202560 360 0 0 0 1 0 0 0 20 0 15 0 516036495 15508250624 7231 33554432000 4194304 4196468 140735902668128 140150143150960 140150673148734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16199] ppid=16184 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/16186/task/16199/stat : 16199 (java) S 16184 16184 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516036495 15508250624 7231 33554432000 4194304 4196468 140735902668128 140150142098400 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16200] ppid=16184 vsize=15144776 memory=140070732240512 CPUtime=0 cores=4-7 /proc/16186/task/16200/stat : 16200 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036495 15508250624 7231 33554432000 4194304 4196468 140735902668128 140150141045168 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 30376 KiB [startup+0.21166 s]* /proc/loadavg: 2.04 1.97 1.90 3/229 16200 /proc/meminfo: memFree=25537776/32770688 swapFree=66927664/67108860 [pid=16184] ppid=16181 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 15128 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516036489 115843072 363 33554432000 4194304 5098028 140724187892256 140724187890360 139668468245116 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21852160 140724187894650 140724187894893 140724187894893 140724187897802 0 /proc/16184/statm: 28282 363 304 221 0 87 0 [pid=16186] ppid=16184 vsize=15144776 memory=40840 CPUtime=0.34 cores=4-7 /proc/16186/stat : 16186 (java) S 16184 16184 15128 0 -1 1077944320 9421 0 0 0 31 3 0 0 20 0 15 0 516036489 15508250624 10210 33554432000 4194304 4196468 140735902668128 140735902650672 140150680911607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 /proc/16186/statm: 3786194 10210 3285 1 0 3748377 0 [pid=16186/tid=16187] ppid=16184 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=4-7 /proc/16186/task/16187/stat : 16187 (java) R 16184 16184 15128 0 -1 4202560 6554 0 0 0 18 2 0 0 20 0 15 0 516036489 15508250624 10210 33554432000 4194304 4196468 140735902668128 140150685142736 140150664110149 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16188] ppid=16184 vsize=15144776 memory=1915598 CPUtime=0 cores=4-7 /proc/16186/task/16188/stat : 16188 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036490 15508250624 10210 33554432000 4194304 4196468 140735902668128 140150633532304 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16189] ppid=16184 vsize=15144776 memory=140070736075645 CPUtime=0 cores=4-7 /proc/16186/task/16189/stat : 16189 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036490 15508250624 10210 33554432000 4194304 4196468 140735902668128 140150632479504 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16190] ppid=16184 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/16186/task/16190/stat : 16190 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036490 15508250624 10210 33554432000 4194304 4196468 140735902668128 140150631427216 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16191] ppid=16184 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/16186/task/16191/stat : 16191 (java) S 16184 16184 15128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516036490 15508250624 10210 33554432000 4194304 4196468 140735902668128 140150630374416 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16192] ppid=16184 vsize=15144776 memory=140070732240512 CPUtime=0 cores=4-7 /proc/16186/task/16192/stat : 16192 (java) S 16184 16184 15128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516036491 15508250624 10210 33554432000 4194304 4196468 140735902668128 140150149466224 140150680922754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16193] ppid=16184 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/16186/task/16193/stat : 16193 (java) S 16184 16184 15128 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516036492 15508250624 10210 33554432000 4194304 4196468 140735902668128 140150148412192 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16194] ppid=16184 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/16186/task/16194/stat : 16194 (java) S 16184 16184 15128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516036492 15508250624 10210 33554432000 4194304 4196468 140735902668128 140150147359856 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16195] ppid=16184 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/16186/task/16195/stat : 16195 (java) S 16184 16184 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516036495 15508250624 10210 33554432000 4194304 4196468 140735902668128 140150146308176 140150680930203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16196] ppid=16184 vsize=15144776 memory=0 CPUtime=0.01 cores=4-7 /proc/16186/task/16196/stat : 16196 (java) S 16184 16184 15128 0 -1 1077944384 446 0 0 0 1 0 0 0 20 0 15 0 516036495 15508250624 10210 33554432000 4194304 4196468 140735902668128 140150145256048 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16197] ppid=16184 vsize=15144776 memory=-1 CPUtime=0.02 cores=4-7 /proc/16186/task/16197/stat : 16197 (java) S 16184 16184 15128 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 15 0 516036495 15508250624 10210 33554432000 4194304 4196468 140735902668128 140150144203248 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16198] ppid=16184 vsize=15144776 memory=140070732240512 CPUtime=0.08 cores=4-7 /proc/16186/task/16198/stat : 16198 (java) S 16184 16184 15128 0 -1 1077944384 761 0 0 0 8 0 0 0 20 0 15 0 516036495 15508250624 10210 33554432000 4194304 4196468 140735902668128 140150143150960 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16199] ppid=16184 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/16186/task/16199/stat : 16199 (java) S 16184 16184 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516036495 15508250624 10210 33554432000 4194304 4196468 140735902668128 140150142098400 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16200] ppid=16184 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/16186/task/16200/stat : 16200 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036495 15508250624 10210 33554432000 4194304 4196468 140735902668128 140150141045168 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 42292 KiB [startup+0.311531 s]* /proc/loadavg: 2.04 1.97 1.90 3/229 16200 /proc/meminfo: memFree=25533048/32770688 swapFree=66927664/67108860 [pid=16184] ppid=16181 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 15128 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516036489 115843072 363 33554432000 4194304 5098028 140724187892256 140724187890360 139668468245116 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21852160 140724187894650 140724187894893 140724187894893 140724187897802 0 /proc/16184/statm: 28282 363 304 221 0 87 0 [pid=16186] ppid=16184 vsize=15149032 memory=46760 CPUtime=0.52 cores=4-7 /proc/16186/stat : 16186 (java) S 16184 16184 15128 0 -1 1077944320 10541 0 0 0 48 4 0 0 20 0 15 0 516036489 15512608768 11690 33554432000 4194304 4196468 140735902668128 140735902650672 140150680911607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 /proc/16186/statm: 3787258 11690 3306 1 0 3748377 0 [pid=16186/tid=16187] ppid=16184 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=4-7 /proc/16186/task/16187/stat : 16187 (java) R 16184 16184 15128 0 -1 4202560 7573 0 0 0 27 3 0 0 20 0 15 0 516036489 15512608768 11690 33554432000 4194304 4196468 140735902668128 140150685130800 140150302709005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16188] ppid=16184 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=4-7 /proc/16186/task/16188/stat : 16188 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036490 15512608768 11690 33554432000 4194304 4196468 140735902668128 140150633532304 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16189] ppid=16184 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=4-7 /proc/16186/task/16189/stat : 16189 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036490 15512608768 11690 33554432000 4194304 4196468 140735902668128 140150632479504 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16190] ppid=16184 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=4-7 /proc/16186/task/16190/stat : 16190 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036490 15512608768 11690 33554432000 4194304 4196468 140735902668128 140150631427216 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16191] ppid=16184 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=4-7 /proc/16186/task/16191/stat : 16191 (java) S 16184 16184 15128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516036490 15512608768 11690 33554432000 4194304 4196468 140735902668128 140150630374416 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16192] ppid=16184 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=4-7 /proc/16186/task/16192/stat : 16192 (java) S 16184 16184 15128 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516036491 15512608768 11690 33554432000 4194304 4196468 140735902668128 140150149466224 140150680922754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16193] ppid=16184 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=4-7 /proc/16186/task/16193/stat : 16193 (java) S 16184 16184 15128 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516036492 15512608768 11690 33554432000 4194304 4196468 140735902668128 140150148412192 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16194] ppid=16184 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=4-7 /proc/16186/task/16194/stat : 16194 (java) S 16184 16184 15128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516036492 15512608768 11690 33554432000 4194304 4196468 140735902668128 140150147359856 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16195] ppid=16184 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=4-7 /proc/16186/task/16195/stat : 16195 (java) S 16184 16184 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516036495 15512608768 11690 33554432000 4194304 4196468 140735902668128 140150146308176 140150680930203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16196] ppid=16184 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=4-7 /proc/16186/task/16196/stat : 16196 (java) S 16184 16184 15128 0 -1 1077944384 461 0 0 0 3 0 0 0 20 0 15 0 516036495 15512608768 11690 33554432000 4194304 4196468 140735902668128 140150145256048 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16197] ppid=16184 vsize=15149032 memory=0 CPUtime=0.04 cores=4-7 /proc/16186/task/16197/stat : 16197 (java) S 16184 16184 15128 0 -1 1077944384 373 0 0 0 4 0 0 0 20 0 15 0 516036495 15512608768 11690 33554432000 4194304 4196468 140735902668128 140150144203248 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16198] ppid=16184 vsize=15149032 memory=0 CPUtime=0.12 cores=4-7 /proc/16186/task/16198/stat : 16198 (java) S 16184 16184 15128 0 -1 1077944384 836 0 0 0 12 0 0 0 20 0 15 0 516036495 15512608768 11690 33554432000 4194304 4196468 140735902668128 140150143150960 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16199] ppid=16184 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/16186/task/16199/stat : 16199 (java) S 16184 16184 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516036495 15512608768 11690 33554432000 4194304 4196468 140735902668128 140150142098400 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16200] ppid=16184 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/16186/task/16200/stat : 16200 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036495 15512608768 11690 33554432000 4194304 4196468 140735902668128 140150141045168 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 48212 KiB [startup+0.701366 s] /proc/loadavg: 2.04 1.97 1.90 3/229 16200 /proc/meminfo: memFree=25519232/32770688 swapFree=66927664/67108860 [pid=16184] ppid=16181 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 15128 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516036489 115843072 363 33554432000 4194304 5098028 140724187892256 140724187890360 139668468245116 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21852160 140724187894650 140724187894893 140724187894893 140724187897802 0 /proc/16184/statm: 28282 363 304 221 0 87 0 [pid=16186] ppid=16184 vsize=15151156 memory=83160 CPUtime=1.54 cores=4-7 /proc/16186/stat : 16186 (java) S 16184 16184 15128 0 -1 1077944320 14010 0 0 0 149 5 0 0 20 0 15 0 516036489 15514783744 20790 33554432000 4194304 4196468 140735902668128 140735902650672 140150680911607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 /proc/16186/statm: 3787789 20790 3459 1 0 3748889 0 [pid=16186/tid=16187] ppid=16184 vsize=15151156 memory=0 CPUtime=0.67 cores=4-7 /proc/16186/task/16187/stat : 16187 (java) R 16184 16184 15128 0 -1 4202560 9184 0 0 0 63 4 0 0 20 0 15 0 516036489 15514783744 20790 33554432000 4194304 4196468 140735902668128 140150685148592 140150306681818 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16188] ppid=16184 vsize=15151156 memory=33 CPUtime=0 cores=4-7 /proc/16186/task/16188/stat : 16188 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036490 15514783744 20790 33554432000 4194304 4196468 140735902668128 140150633532304 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16189] ppid=16184 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=4-7 /proc/16186/task/16189/stat : 16189 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036490 15514783744 20790 33554432000 4194304 4196468 140735902668128 140150632479504 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16190] ppid=16184 vsize=15151156 memory=0 CPUtime=0 cores=4-7 /proc/16186/task/16190/stat : 16190 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036490 15514783744 20790 33554432000 4194304 4196468 140735902668128 140150631427216 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16191] ppid=16184 vsize=15151156 memory=0 CPUtime=0 cores=4-7 /proc/16186/task/16191/stat : 16191 (java) S 16184 16184 15128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516036490 15514783744 20790 33554432000 4194304 4196468 140735902668128 140150630374416 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16192] ppid=16184 vsize=15151156 memory=76904 CPUtime=0 cores=4-7 /proc/16186/task/16192/stat : 16192 (java) S 16184 16184 15128 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516036491 15514783744 20790 33554432000 4194304 4196468 140735902668128 140150149466224 140150680922754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16193] ppid=16184 vsize=15151156 memory=984 CPUtime=0 cores=4-7 /proc/16186/task/16193/stat : 16193 (java) S 16184 16184 15128 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516036492 15514783744 20790 33554432000 4194304 4196468 140735902668128 140150148412192 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16194] ppid=16184 vsize=15151156 memory=2020 CPUtime=0 cores=4-7 /proc/16186/task/16194/stat : 16194 (java) S 16184 16184 15128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516036492 15514783744 20790 33554432000 4194304 4196468 140735902668128 140150147359856 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16195] ppid=16184 vsize=15151156 memory=1420 CPUtime=0 cores=4-7 /proc/16186/task/16195/stat : 16195 (java) S 16184 16184 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516036495 15514783744 20790 33554432000 4194304 4196468 140735902668128 140150146308176 140150680930203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16196] ppid=16184 vsize=15151156 memory=776 CPUtime=0.25 cores=4-7 /proc/16186/task/16196/stat : 16196 (java) R 16184 16184 15128 0 -1 4202560 978 0 0 0 25 0 0 0 20 0 15 0 516036495 15514783744 20790 33554432000 4194304 4196468 140735902668128 140150145241928 140150665841121 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16197] ppid=16184 vsize=15151156 memory=660 CPUtime=0.23 cores=4-7 /proc/16186/task/16197/stat : 16197 (java) R 16184 16184 15128 0 -1 4202560 996 0 0 0 23 0 0 0 20 0 15 0 516036495 15514783744 20790 33554432000 4194304 4196468 140735902668128 140150144193360 140150680923542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16198] ppid=16184 vsize=15151156 memory=1556 CPUtime=0.36 cores=4-7 /proc/16186/task/16198/stat : 16198 (java) R 16184 16184 15128 0 -1 4202560 1546 0 0 0 36 0 0 0 20 0 15 0 516036495 15514783744 20790 33554432000 4194304 4196468 140735902668128 140150143151088 140150680932954 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16199] ppid=16184 vsize=15151156 memory=9588 CPUtime=0 cores=4-7 /proc/16186/task/16199/stat : 16199 (java) S 16184 16184 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516036495 15514783744 20790 33554432000 4194304 4196468 140735902668128 140150142098400 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16200] ppid=16184 vsize=15151156 memory=1712 CPUtime=0 cores=4-7 /proc/16186/task/16200/stat : 16200 (java) S 16184 16184 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516036495 15514783744 20790 33554432000 4194304 4196468 140735902668128 140150141045168 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 Current children cumulated CPU time: 1.54 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 84612 KiB [startup+1.50084 s] /proc/loadavg: 2.04 1.97 1.90 5/229 16200 /proc/meminfo: memFree=25495408/32770688 swapFree=66927664/67108860 [pid=16184] ppid=16181 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 15128 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516036489 115843072 363 33554432000 4194304 5098028 140724187892256 140724187890360 139668468245116 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21852160 140724187894650 140724187894893 140724187894893 140724187897802 0 /proc/16184/statm: 28282 363 304 221 0 87 0 ################ # More data... # ################ /proc/16186/task/16194/stat : 16194 (java) S 16184 16184 15128 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 516036492 15514783744 41317 33554432000 4194304 4196468 140735902668128 140150147359872 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16195] ppid=16184 vsize=15151156 memory=165268 CPUtime=0 cores=4-7 /proc/16186/task/16195/stat : 16195 (java) S 16184 16184 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516036495 15514783744 41317 33554432000 4194304 4196468 140735902668128 140150146308176 140150680930203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16196] ppid=16184 vsize=15151156 memory=1452 CPUtime=1.48 cores=4-7 /proc/16186/task/16196/stat : 16196 (java) S 16184 16184 15128 0 -1 1077944384 14826 0 0 0 147 1 0 0 20 0 15 0 516036495 15514783744 41317 33554432000 4194304 4196468 140735902668128 140150145256048 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16197] ppid=16184 vsize=15151156 memory=165268 CPUtime=1.96 cores=4-7 /proc/16186/task/16197/stat : 16197 (java) S 16184 16184 15128 0 -1 1077944384 17732 0 0 0 193 3 0 0 20 0 15 0 516036495 15514783744 41317 33554432000 4194304 4196468 140735902668128 140150144203248 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16198] ppid=16184 vsize=15151156 memory=165268 CPUtime=0.54 cores=4-7 /proc/16186/task/16198/stat : 16198 (java) S 16184 16184 15128 0 -1 1077944384 6331 0 0 0 53 1 0 0 20 0 15 0 516036495 15514783744 41317 33554432000 4194304 4196468 140735902668128 140150143150960 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16199] ppid=16184 vsize=15151156 memory=3624 CPUtime=0 cores=4-7 /proc/16186/task/16199/stat : 16199 (java) S 16184 16184 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516036495 15514783744 41317 33554432000 4194304 4196468 140735902668128 140150142098400 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16200] ppid=16184 vsize=15151156 memory=1452 CPUtime=0.57 cores=4-7 /proc/16186/task/16200/stat : 16200 (java) S 16184 16184 15128 0 -1 1077944384 1657 0 0 0 26 31 0 0 20 0 15 0 516036495 15514783744 41317 33554432000 4194304 4196468 140735902668128 140150141045168 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 Current children cumulated CPU time: 2387.7 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 166720 KiB [startup+2442.3 s] /proc/loadavg: 1.65 1.77 1.83 3/230 16602 /proc/meminfo: memFree=25448488/32770688 swapFree=66927664/67108860 [pid=16184] ppid=16181 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 15128 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516036489 115843072 363 33554432000 4194304 5098028 140724187892256 140724187890360 139668468245116 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21852160 140724187894650 140724187894893 140724187894893 140724187897802 0 /proc/16184/statm: 28282 363 304 221 0 87 0 [pid=16186] ppid=16184 vsize=15151156 memory=165364 CPUtime=2447.79 cores=4-7 /proc/16186/stat : 16186 (java) S 16184 16184 15128 0 -1 1077944320 75648 0 0 0 244730 49 0 0 20 0 15 0 516036489 15514783744 41341 33554432000 4194304 4196468 140735902668128 140735902650672 140150680911607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 /proc/16186/statm: 3787789 41341 3513 1 0 3748889 0 [pid=16186/tid=16187] ppid=16184 vsize=15151156 memory=165364 CPUtime=2441.47 cores=4-7 /proc/16186/task/16187/stat : 16187 (java) R 16184 16184 15128 0 -1 4202560 18116 0 0 0 244141 6 0 0 20 0 15 0 516036489 15514783744 41341 33554432000 4194304 4196468 140735902668128 140150685151232 140150306910725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16188] ppid=16184 vsize=15151156 memory=165364 CPUtime=0.36 cores=4-7 /proc/16186/task/16188/stat : 16188 (java) S 16184 16184 15128 0 -1 1077944384 4415 0 0 0 34 2 0 0 20 0 15 0 516036490 15514783744 41341 33554432000 4194304 4196468 140735902668128 140150633532304 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16189] ppid=16184 vsize=15151156 memory=1452 CPUtime=0.37 cores=4-7 /proc/16186/task/16189/stat : 16189 (java) S 16184 16184 15128 0 -1 1077944384 2054 0 0 0 33 4 0 0 20 0 15 0 516036490 15514783744 41341 33554432000 4194304 4196468 140735902668128 140150632479504 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16190] ppid=16184 vsize=15151156 memory=165308 CPUtime=0.36 cores=4-7 /proc/16186/task/16190/stat : 16190 (java) S 16184 16184 15128 0 -1 1077944384 2842 0 0 0 34 2 0 0 20 0 15 0 516036490 15514783744 41341 33554432000 4194304 4196468 140735902668128 140150631427216 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16191] ppid=16184 vsize=15151156 memory=1452 CPUtime=0.36 cores=4-7 /proc/16186/task/16191/stat : 16191 (java) S 16184 16184 15128 0 -1 1077944384 2033 0 0 0 34 2 0 0 20 0 15 0 516036490 15514783744 41341 33554432000 4194304 4196468 140735902668128 140150630374416 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16192] ppid=16184 vsize=15151156 memory=165364 CPUtime=0.2 cores=4-7 /proc/16186/task/16192/stat : 16192 (java) S 16184 16184 15128 0 -1 1077944384 4195 0 0 0 17 3 0 0 20 0 15 0 516036491 15514783744 41341 33554432000 4194304 4196468 140735902668128 140150149466224 140150680922754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16193] ppid=16184 vsize=15151156 memory=1452 CPUtime=0 cores=4-7 /proc/16186/task/16193/stat : 16193 (java) S 16184 16184 15128 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516036492 15514783744 41341 33554432000 4194304 4196468 140735902668128 140150148412256 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16194] ppid=16184 vsize=15151156 memory=3624 CPUtime=0 cores=4-7 /proc/16186/task/16194/stat : 16194 (java) S 16184 16184 15128 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 516036492 15514783744 41341 33554432000 4194304 4196468 140735902668128 140150147359872 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16195] ppid=16184 vsize=15151156 memory=1452 CPUtime=0 cores=4-7 /proc/16186/task/16195/stat : 16195 (java) S 16184 16184 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516036495 15514783744 41341 33554432000 4194304 4196468 140735902668128 140150146308176 140150680930203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16196] ppid=16184 vsize=15151156 memory=3624 CPUtime=1.48 cores=4-7 /proc/16186/task/16196/stat : 16196 (java) S 16184 16184 15128 0 -1 1077944384 14828 0 0 0 147 1 0 0 20 0 15 0 516036495 15514783744 41341 33554432000 4194304 4196468 140735902668128 140150145256048 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16197] ppid=16184 vsize=15151156 memory=165364 CPUtime=1.96 cores=4-7 /proc/16186/task/16197/stat : 16197 (java) S 16184 16184 15128 0 -1 1077944384 17734 0 0 0 193 3 0 0 20 0 15 0 516036495 15514783744 41341 33554432000 4194304 4196468 140735902668128 140150144203248 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16198] ppid=16184 vsize=15151156 memory=1452 CPUtime=0.54 cores=4-7 /proc/16186/task/16198/stat : 16198 (java) S 16184 16184 15128 0 -1 1077944384 6334 0 0 0 53 1 0 0 20 0 15 0 516036495 15514783744 41341 33554432000 4194304 4196468 140735902668128 140150143150960 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16199] ppid=16184 vsize=15151156 memory=3624 CPUtime=0 cores=4-7 /proc/16186/task/16199/stat : 16199 (java) S 16184 16184 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516036495 15514783744 41341 33554432000 4194304 4196468 140735902668128 140150142098400 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16200] ppid=16184 vsize=15151156 memory=76976 CPUtime=0.59 cores=4-7 /proc/16186/task/16200/stat : 16200 (java) S 16184 16184 15128 0 -1 1077944384 1676 0 0 0 27 32 0 0 20 0 15 0 516036495 15514783744 41341 33554432000 4194304 4196468 140735902668128 140150141045168 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 Current children cumulated CPU time: 2447.79 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 166816 KiB [startup+2502.3 s] /proc/loadavg: 1.80 1.78 1.83 3/230 16682 /proc/meminfo: memFree=25464568/32770688 swapFree=66927664/67108860 [pid=16184] ppid=16181 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 15128 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516036489 115843072 363 33554432000 4194304 5098028 140724187892256 140724187890360 139668468245116 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21852160 140724187894650 140724187894893 140724187894893 140724187897802 0 /proc/16184/statm: 28282 363 304 221 0 87 0 [pid=16186] ppid=16184 vsize=15151156 memory=167412 CPUtime=2507.88 cores=4-7 /proc/16186/stat : 16186 (java) S 16184 16184 15128 0 -1 1077944320 75823 0 0 0 250738 50 0 0 20 0 15 0 516036489 15514783744 41853 33554432000 4194304 4196468 140735902668128 140735902650672 140150680911607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 /proc/16186/statm: 3787789 41853 3513 1 0 3748889 0 [pid=16186/tid=16187] ppid=16184 vsize=15151156 memory=1452 CPUtime=2501.39 cores=4-7 /proc/16186/task/16187/stat : 16187 (java) R 16184 16184 15128 0 -1 4202560 18180 0 0 0 250133 6 0 0 20 0 15 0 516036489 15514783744 41853 33554432000 4194304 4196468 140735902668128 140150685151232 140150306910363 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16188] ppid=16184 vsize=15151156 memory=167412 CPUtime=0.39 cores=4-7 /proc/16186/task/16188/stat : 16188 (java) S 16184 16184 15128 0 -1 1077944384 4427 0 0 0 37 2 0 0 20 0 15 0 516036490 15514783744 41853 33554432000 4194304 4196468 140735902668128 140150633532304 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16189] ppid=16184 vsize=15151156 memory=167412 CPUtime=0.4 cores=4-7 /proc/16186/task/16189/stat : 16189 (java) S 16184 16184 15128 0 -1 1077944384 2093 0 0 0 36 4 0 0 20 0 15 0 516036490 15514783744 41853 33554432000 4194304 4196468 140735902668128 140150632479504 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16190] ppid=16184 vsize=15151156 memory=167412 CPUtime=0.4 cores=4-7 /proc/16186/task/16190/stat : 16190 (java) S 16184 16184 15128 0 -1 1077944384 2869 0 0 0 37 3 0 0 20 0 15 0 516036490 15514783744 41853 33554432000 4194304 4196468 140735902668128 140150631427216 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16191] ppid=16184 vsize=15151156 memory=167412 CPUtime=0.4 cores=4-7 /proc/16186/task/16191/stat : 16191 (java) S 16184 16184 15128 0 -1 1077944384 2054 0 0 0 38 2 0 0 20 0 15 0 516036490 15514783744 41853 33554432000 4194304 4196468 140735902668128 140150630374416 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16192] ppid=16184 vsize=15151156 memory=167412 CPUtime=0.23 cores=4-7 /proc/16186/task/16192/stat : 16192 (java) S 16184 16184 15128 0 -1 1077944384 4203 0 0 0 19 4 0 0 20 0 15 0 516036491 15514783744 41853 33554432000 4194304 4196468 140735902668128 140150149466224 140150680922754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16193] ppid=16184 vsize=15151156 memory=167412 CPUtime=0 cores=4-7 /proc/16186/task/16193/stat : 16193 (java) S 16184 16184 15128 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516036492 15514783744 41853 33554432000 4194304 4196468 140735902668128 140150148412256 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16194] ppid=16184 vsize=15151156 memory=167412 CPUtime=0 cores=4-7 /proc/16186/task/16194/stat : 16194 (java) S 16184 16184 15128 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 516036492 15514783744 41853 33554432000 4194304 4196468 140735902668128 140150147359872 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16195] ppid=16184 vsize=15151156 memory=167412 CPUtime=0 cores=4-7 /proc/16186/task/16195/stat : 16195 (java) S 16184 16184 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516036495 15514783744 41853 33554432000 4194304 4196468 140735902668128 140150146308176 140150680930203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16196] ppid=16184 vsize=15151156 memory=167412 CPUtime=1.48 cores=4-7 /proc/16186/task/16196/stat : 16196 (java) S 16184 16184 15128 0 -1 1077944384 14828 0 0 0 147 1 0 0 20 0 15 0 516036495 15514783744 41853 33554432000 4194304 4196468 140735902668128 140150145256048 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16197] ppid=16184 vsize=15151156 memory=1452 CPUtime=1.96 cores=4-7 /proc/16186/task/16197/stat : 16197 (java) S 16184 16184 15128 0 -1 1077944384 17734 0 0 0 193 3 0 0 20 0 15 0 516036495 15514783744 41853 33554432000 4194304 4196468 140735902668128 140150144203248 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16198] ppid=16184 vsize=15151156 memory=280141256720416 CPUtime=0.54 cores=4-7 /proc/16186/task/16198/stat : 16198 (java) S 16184 16184 15128 0 -1 1077944384 6334 0 0 0 53 1 0 0 20 0 15 0 516036495 15514783744 41853 33554432000 4194304 4196468 140735902668128 140150143150960 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16199] ppid=16184 vsize=15151156 memory=167412 CPUtime=0 cores=4-7 /proc/16186/task/16199/stat : 16199 (java) S 16184 16184 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516036495 15514783744 41853 33554432000 4194304 4196468 140735902668128 140150142098400 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16200] ppid=16184 vsize=15151156 memory=1452 CPUtime=0.6 cores=4-7 /proc/16186/task/16200/stat : 16200 (java) S 16184 16184 15128 0 -1 1077944384 1680 0 0 0 28 32 0 0 20 0 15 0 516036495 15514783744 41853 33554432000 4194304 4196468 140735902668128 140150141045168 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 Current children cumulated CPU time: 2507.88 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 168864 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2514.4 s] /proc/loadavg: 1.77 1.78 1.83 3/231 16684 /proc/meminfo: memFree=25428668/32770688 swapFree=66927664/67108860 [pid=16184] ppid=16181 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 15128 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516036489 115843072 363 33554432000 4194304 5098028 140724187892256 140724187890360 139668468245116 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21852160 140724187894650 140724187894893 140724187894893 140724187897802 0 /proc/16184/statm: 28282 363 304 221 0 87 0 [pid=16186] ppid=16184 vsize=15151156 memory=166900 CPUtime=2520.01 cores=4-7 /proc/16186/stat : 16186 (java) S 16184 16184 15128 0 -1 1077944320 75849 0 0 0 251951 50 0 0 20 0 15 0 516036489 15514783744 41725 33554432000 4194304 4196468 140735902668128 140735902650672 140150680911607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 /proc/16186/statm: 3787789 41725 3513 1 0 3748889 0 [pid=16186/tid=16187] ppid=16184 vsize=15151156 memory=1452 CPUtime=2513.47 cores=4-7 /proc/16186/task/16187/stat : 16187 (java) R 16184 16184 15128 0 -1 4202560 18189 0 0 0 251341 6 0 0 20 0 15 0 516036489 15514783744 41725 33554432000 4194304 4196468 140735902668128 140150685151232 140150307211464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16188] ppid=16184 vsize=15151156 memory=166900 CPUtime=0.4 cores=4-7 /proc/16186/task/16188/stat : 16188 (java) S 16184 16184 15128 0 -1 1077944384 4427 0 0 0 38 2 0 0 20 0 15 0 516036490 15514783744 41725 33554432000 4194304 4196468 140735902668128 140150633532304 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16189] ppid=16184 vsize=15151156 memory=1452 CPUtime=0.41 cores=4-7 /proc/16186/task/16189/stat : 16189 (java) S 16184 16184 15128 0 -1 1077944384 2097 0 0 0 37 4 0 0 20 0 15 0 516036490 15514783744 41725 33554432000 4194304 4196468 140735902668128 140150632479504 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16190] ppid=16184 vsize=15151156 memory=6791534058613427641 CPUtime=0.41 cores=4-7 /proc/16186/task/16190/stat : 16190 (java) S 16184 16184 15128 0 -1 1077944384 2881 0 0 0 38 3 0 0 20 0 15 0 516036490 15514783744 41725 33554432000 4194304 4196468 140735902668128 140150631427216 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16191] ppid=16184 vsize=15151156 memory=164 CPUtime=0.41 cores=4-7 /proc/16186/task/16191/stat : 16191 (java) S 16184 16184 15128 0 -1 1077944384 2054 0 0 0 39 2 0 0 20 0 15 0 516036490 15514783744 41725 33554432000 4194304 4196468 140735902668128 140150630374416 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16192] ppid=16184 vsize=15151156 memory=5787782378022856021 CPUtime=0.23 cores=4-7 /proc/16186/task/16192/stat : 16192 (java) S 16184 16184 15128 0 -1 1077944384 4204 0 0 0 19 4 0 0 20 0 15 0 516036491 15514783744 41725 33554432000 4194304 4196468 140735902668128 140150149466224 140150680922754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16193] ppid=16184 vsize=15151156 memory=589972051086833205 CPUtime=0 cores=4-7 /proc/16186/task/16193/stat : 16193 (java) S 16184 16184 15128 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516036492 15514783744 41725 33554432000 4194304 4196468 140735902668128 140150148412256 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16194] ppid=16184 vsize=15151156 memory=166900 CPUtime=0 cores=4-7 /proc/16186/task/16194/stat : 16194 (java) S 16184 16184 15128 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 516036492 15514783744 41725 33554432000 4194304 4196468 140735902668128 140150147359872 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16195] ppid=16184 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=4-7 /proc/16186/task/16195/stat : 16195 (java) S 16184 16184 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516036495 15514783744 41725 33554432000 4194304 4196468 140735902668128 140150146308176 140150680930203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16196] ppid=16184 vsize=15151156 memory=166900 CPUtime=1.48 cores=4-7 /proc/16186/task/16196/stat : 16196 (java) S 16184 16184 15128 0 -1 1077944384 14828 0 0 0 147 1 0 0 20 0 15 0 516036495 15514783744 41725 33554432000 4194304 4196468 140735902668128 140150145256048 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16197] ppid=16184 vsize=15151156 memory=6064 CPUtime=1.96 cores=4-7 /proc/16186/task/16197/stat : 16197 (java) S 16184 16184 15128 0 -1 1077944384 17734 0 0 0 193 3 0 0 20 0 15 0 516036495 15514783744 41725 33554432000 4194304 4196468 140735902668128 140150144203248 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16198] ppid=16184 vsize=15151156 memory=3668 CPUtime=0.54 cores=4-7 /proc/16186/task/16198/stat : 16198 (java) S 16184 16184 15128 0 -1 1077944384 6334 0 0 0 53 1 0 0 20 0 15 0 516036495 15514783744 41725 33554432000 4194304 4196468 140735902668128 140150143150960 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16199] ppid=16184 vsize=15151156 memory=166900 CPUtime=0 cores=4-7 /proc/16186/task/16199/stat : 16199 (java) S 16184 16184 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516036495 15514783744 41725 33554432000 4194304 4196468 140735902668128 140150142098400 140150680921813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 [pid=16186/tid=16200] ppid=16184 vsize=15151156 memory=7812726576340533336 CPUtime=0.6 cores=4-7 /proc/16186/task/16200/stat : 16200 (java) S 16184 16184 15128 0 -1 1077944384 1680 0 0 0 28 32 0 0 20 0 15 0 516036495 15514783744 41725 33554432000 4194304 4196468 140735902668128 140150141045168 140150680922754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10842112 140735902671855 140735902672026 140735902672026 140735902674895 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 168352 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2514.41 s] # the end of solver process 16184 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.00117 s, system=0.00166 s [startup+2514.41 s] # the end of solver process 16186 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.53 s, system=0.508737 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2514.41 CPU time (s): 2520.03 CPU user time (s): 2519.53 CPU system time (s): 0.508737 CPU usage (%): 100.224 Max. virtual memory (cumulated for all children) (KiB): 15266336 Max. memory (cumulated for all children) (KiB): 239936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.53 system time used= 0.508737 maximum resident set size= 238484 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76648 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2560 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 61930 involuntary context switches= 1528 # summary of solver processes directly reported to runsolver: # pid: 16184,16186 # total CPU time (s): 2520.03 # total CPU user time (s): 2519.53 # total CPU system time (s): 0.508737 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 20.5688 second user time and 21.1653 second system time The end
Begin job on node120 at 2011-12-26 16:52:04 IDJOB=4405749 IDBENCH=123858 IDSOLVER=2869 FILE ID=node120/4405749-1569400303 RUNJOBID= node120-1324911091-15160 PBS_JOBID= 21705692 Free space on /tmp= 23384 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/Bibd/Bibd-sum-lex/Bibd-sum-09-120-40-03-10.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405749-1569400303/watcher-4405749-1569400303 -o /tmp/evaluation-result-4405749-1569400303/solver-4405749-1569400303 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324911091-15160 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4405749-1569400303.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 516a10ad09fd7e852a109bf36c14a2d3 RANDOM SEED=1860271512 node120.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.49 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.49 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.49 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.49 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 : 5329.69 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 : 5329.69 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 : 5329.69 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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 25567724 kB MemAvailable: 31543856 kB Buffers: 129876 kB Cached: 6123624 kB SwapCached: 68844 kB Active: 3337628 kB Inactive: 3225180 kB Active(anon): 240008 kB Inactive(anon): 133896 kB Active(file): 3097620 kB Inactive(file): 3091284 kB Unevictable: 107752 kB Mlocked: 107752 kB SwapTotal: 67108860 kB SwapFree: 66927664 kB Dirty: 26040 kB Writeback: 0 kB AnonPages: 349588 kB Mapped: 77488 kB Shmem: 55968 kB Slab: 235192 kB SReclaimable: 206124 kB SUnreclaim: 29068 kB KernelStack: 3696 kB PageTables: 6016 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1538736 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 247808 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 23360 MiB End job on node120 at 2011-12-26 17:33:59