Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | UNSAT | 7.5463901 | 1.4306099 |
Name | QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml |
MD5SUM | 2ada0409f2c6e70f95908de4e7f6edb2 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.288021 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 23 |
Number of constraints | 22 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":2,"count":6},{"size":16,"count":17}] |
Minimum variable degree | 2 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":2,"count":8},{"degree":3,"count":8},{"degree":4,"count":6},{"degree":6,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 16 |
Distribution of constraint arities | [{"arity":2,"count":15},{"arity":3,"count":6},{"arity":16,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 21 |
Distribution of constraint types | [{"type":"intension","count":21},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280487-1503147881.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4280487-1503147881.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 1.45/0.61 c solve instance... 7.44/1.41 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 (12704 MiB free) memory of node 1: 16384 MiB (13860 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280487-1503147881/watcher-4280487-1503147881 -o /tmp/evaluation-result-4280487-1503147881/solver-4280487-1503147881 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503141271-7621 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 663192796 HOME/instance-4280487-1503147881.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 Current StackSize limit: 8192 KiB solver pid=8638, runsolver pid=8635 [startup+0.100154 s]* /proc/loadavg: 7.10 8.06 8.19 3/199 8659 /proc/meminfo: memFree=27187956/32770624 swapFree=67108860/67108860 [pid=8638] ppid=8635 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/8638/stat : 8638 (xcsp3-exec) S 8635 8638 7594 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 147875637 9740288 345 33554432000 4194304 5098028 140727891124304 140727891122408 139924064399996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23396352 140727891125349 140727891125559 140727891125559 140727891128299 0 /proc/8638/statm: 2378 345 289 221 0 87 0 [pid=8640] ppid=8638 vsize=25999808 memory=26128 CPUtime=0.12 cores=0-7 /proc/8640/stat : 8640 (java) S 8638 8638 7594 0 -1 1077944320 5480 0 0 0 10 2 0 0 20 0 20 0 147875637 26623803392 6532 33554432000 4194304 4196468 140726316297280 140726316279824 139901738122999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 /proc/8640/statm: 6499952 6532 2843 1 0 6488269 0 [pid=8640/tid=8641] ppid=8638 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/8640/task/8641/stat : 8641 (java) R 8638 8638 7594 0 -1 4202560 3482 0 0 0 8 1 0 0 20 0 20 0 147875637 26623803392 6532 33554432000 4194304 4196468 140726316297280 139901742354912 139901738134934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8642] ppid=8638 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/8640/task/8642/stat : 8642 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875638 26623803392 6532 33554432000 4194304 4196468 140726316297280 139901660703888 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8643] ppid=8638 vsize=25999808 memory=139743245653632 CPUtime=0 cores=0-7 /proc/8640/task/8643/stat : 8643 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875638 26623803392 6532 33554432000 4194304 4196468 140726316297280 139901659651088 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8644] ppid=8638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8644/stat : 8644 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875638 26623803392 6532 33554432000 4194304 4196468 140726316297280 139901658598288 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8645] ppid=8638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8645/stat : 8645 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875638 26623803392 6532 33554432000 4194304 4196468 140726316297280 139901657545488 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8646] ppid=8638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8646/stat : 8646 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875638 26623803392 6532 33554432000 4194304 4196468 140726316297280 139901656492688 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8647] ppid=8638 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/8640/task/8647/stat : 8647 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147875638 26623803392 6532 33554432000 4194304 4196468 140726316297280 139901655439888 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8648] ppid=8638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8648/stat : 8648 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875638 26623803392 6532 33554432000 4194304 4196468 140726316297280 139901654387088 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8649] ppid=8638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8649/stat : 8649 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147875638 26623803392 6532 33554432000 4194304 4196468 140726316297280 139901653334288 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8650] ppid=8638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8650/stat : 8650 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875640 26623803392 6532 33554432000 4194304 4196468 140726316297280 139901246135152 139901738134146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8651] ppid=8638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8651/stat : 8651 (java) S 8638 8638 7594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147875640 26623803392 6532 33554432000 4194304 4196468 140726316297280 139900864194080 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8652] ppid=8638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8652/stat : 8652 (java) S 8638 8638 7594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147875640 26623803392 6532 33554432000 4194304 4196468 140726316297280 139900863141232 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8653] ppid=8638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8653/stat : 8653 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875643 26623803392 6532 33554432000 4194304 4196468 140726316297280 139900862089552 139901738141595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8654] ppid=8638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8654/stat : 8654 (java) S 8638 8638 7594 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 147875643 26623803392 6532 33554432000 4194304 4196468 140726316297280 139900861036912 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8655] ppid=8638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8655/stat : 8655 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875643 26623803392 6532 33554432000 4194304 4196468 140726316297280 139900859984112 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8656] ppid=8638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8656/stat : 8656 (java) S 8638 8638 7594 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 147875643 26623803392 6532 33554432000 4194304 4196468 140726316297280 139900858931312 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8657] ppid=8638 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/8640/task/8657/stat : 8657 (java) S 8638 8638 7594 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 20 0 147875643 26623803392 6532 33554432000 4194304 4196468 140726316297280 139900857878512 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8658] ppid=8638 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8658/stat : 8658 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147875643 26623803392 6532 33554432000 4194304 4196468 140726316297280 139900856826976 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8659] ppid=8638 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/8640/task/8659/stat : 8659 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875643 26623803392 6532 33554432000 4194304 4196468 140726316297280 139900855774256 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27508 KiB [startup+0.210279 s]* /proc/loadavg: 7.10 8.06 8.19 2/199 8659 /proc/meminfo: memFree=27175924/32770624 swapFree=67108860/67108860 [pid=8638] ppid=8635 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/8638/stat : 8638 (xcsp3-exec) S 8635 8638 7594 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 147875637 9740288 345 33554432000 4194304 5098028 140727891124304 140727891122408 139924064399996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23396352 140727891125349 140727891125559 140727891125559 140727891128299 0 /proc/8638/statm: 2378 345 289 221 0 87 0 [pid=8640] ppid=8638 vsize=26004064 memory=39000 CPUtime=0.33 cores=0-7 /proc/8640/stat : 8640 (java) S 8638 8638 7594 0 -1 1077944320 8250 0 0 0 31 2 0 0 20 0 20 0 147875637 26628161536 9750 33554432000 4194304 4196468 140726316297280 140726316279824 139901738122999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 /proc/8640/statm: 6501016 9750 3072 1 0 6488269 0 [pid=8640/tid=8641] ppid=8638 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/8640/task/8641/stat : 8641 (java) D 8638 8638 7594 0 -1 1077944384 5434 0 0 0 18 1 0 0 20 0 20 0 147875637 26628161536 9772 33554432000 4194304 4196468 140726316297280 139901742333792 139901730802221 0 4 0 16800975 18446744072101580324 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8642] ppid=8638 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/8640/task/8642/stat : 8642 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875638 26628161536 9772 33554432000 4194304 4196468 140726316297280 139901660703888 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8643] ppid=8638 vsize=26004064 memory=3688648526772328096 CPUtime=0 cores=0-7 /proc/8640/task/8643/stat : 8643 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875638 26628161536 9772 33554432000 4194304 4196468 140726316297280 139901659651088 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8644] ppid=8638 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/8640/task/8644/stat : 8644 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875638 26628161536 9772 33554432000 4194304 4196468 140726316297280 139901658598288 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8645] ppid=8638 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8645/stat : 8645 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875638 26628194304 9772 33554432000 4194304 4196468 140726316297280 139901657545488 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8646] ppid=8638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8646/stat : 8646 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875638 26628161536 9772 33554432000 4194304 4196468 140726316297280 139901656492688 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8647] ppid=8638 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/8640/task/8647/stat : 8647 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147875638 26628161536 9772 33554432000 4194304 4196468 140726316297280 139901655439888 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8648] ppid=8638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8648/stat : 8648 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875638 26628161536 9772 33554432000 4194304 4196468 140726316297280 139901654387088 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8649] ppid=8638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8649/stat : 8649 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147875638 26628161536 9772 33554432000 4194304 4196468 140726316297280 139901653334288 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8650] ppid=8638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8650/stat : 8650 (java) S 8638 8638 7594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 147875640 26628161536 9772 33554432000 4194304 4196468 140726316297280 139901246135152 139901738134146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8651] ppid=8638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8651/stat : 8651 (java) S 8638 8638 7594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147875640 26628161536 9772 33554432000 4194304 4196468 140726316297280 139900864194080 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8652] ppid=8638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8652/stat : 8652 (java) S 8638 8638 7594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147875640 26628161536 9772 33554432000 4194304 4196468 140726316297280 139900863141232 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8653] ppid=8638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8653/stat : 8653 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875643 26628161536 9772 33554432000 4194304 4196468 140726316297280 139900862089552 139901738141595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8654] ppid=8638 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/8640/task/8654/stat : 8654 (java) S 8638 8638 7594 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 20 0 147875643 26628161536 9772 33554432000 4194304 4196468 140726316297280 139900861036912 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8655] ppid=8638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8655/stat : 8655 (java) S 8638 8638 7594 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 20 0 147875643 26628161536 9772 33554432000 4194304 4196468 140726316297280 139900859984112 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8656] ppid=8638 vsize=26004096 memory=-1 CPUtime=0.01 cores=0-7 /proc/8640/task/8656/stat : 8656 (java) S 8638 8638 7594 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 20 0 147875643 26628194304 9772 33554432000 4194304 4196468 140726316297280 139900858931312 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8657] ppid=8638 vsize=26004096 memory=-1 CPUtime=0.08 cores=0-7 /proc/8640/task/8657/stat : 8657 (java) S 8638 8638 7594 0 -1 1077944384 760 0 0 0 8 0 0 0 20 0 20 0 147875643 26628194304 9772 33554432000 4194304 4196468 140726316297280 139900857878512 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8658] ppid=8638 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8658/stat : 8658 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147875643 26628161536 9772 33554432000 4194304 4196468 140726316297280 139900856826976 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8659] ppid=8638 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/8640/task/8659/stat : 8659 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875643 26628161536 9772 33554432000 4194304 4196468 140726316297280 139900855774256 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40380 KiB [startup+0.310081 s]* /proc/loadavg: 7.10 8.06 8.19 3/199 8659 /proc/meminfo: memFree=27168976/32770624 swapFree=67108860/67108860 [pid=8638] ppid=8635 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/8638/stat : 8638 (xcsp3-exec) S 8635 8638 7594 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 147875637 9740288 345 33554432000 4194304 5098028 140727891124304 140727891122408 139924064399996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23396352 140727891125349 140727891125559 140727891125559 140727891128299 0 /proc/8638/statm: 2378 345 289 221 0 87 0 [pid=8640] ppid=8638 vsize=26004140 memory=46288 CPUtime=0.49 cores=0-7 /proc/8640/stat : 8640 (java) S 8638 8638 7594 0 -1 1077944320 9263 0 0 0 46 3 0 0 20 0 20 0 147875637 26628239360 11572 33554432000 4194304 4196468 140726316297280 140726316279824 139901738122999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 /proc/8640/statm: 6501035 11572 3118 1 0 6488269 0 [pid=8640/tid=8641] ppid=8638 vsize=26004140 memory=8112282956445269571 CPUtime=0.28 cores=0-7 /proc/8640/task/8641/stat : 8641 (java) R 8638 8638 7594 0 -1 4202560 6231 0 0 0 27 1 0 0 20 0 20 0 147875637 26628239360 11572 33554432000 4194304 4196468 140726316297280 139901742352864 139901328775224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8642] ppid=8638 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8642/stat : 8642 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875638 26628239360 11572 33554432000 4194304 4196468 140726316297280 139901660703888 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8643] ppid=8638 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8643/stat : 8643 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875638 26628239360 11572 33554432000 4194304 4196468 140726316297280 139901659651088 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8644] ppid=8638 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8644/stat : 8644 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875638 26628239360 11572 33554432000 4194304 4196468 140726316297280 139901658598288 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8645] ppid=8638 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8645/stat : 8645 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875638 26628239360 11572 33554432000 4194304 4196468 140726316297280 139901657545488 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8646] ppid=8638 vsize=26004140 memory=2244 CPUtime=0 cores=0-7 /proc/8640/task/8646/stat : 8646 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875638 26628239360 11572 33554432000 4194304 4196468 140726316297280 139901656492688 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8647] ppid=8638 vsize=26004140 memory=139743136412591 CPUtime=0 cores=0-7 /proc/8640/task/8647/stat : 8647 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147875638 26628239360 11572 33554432000 4194304 4196468 140726316297280 139901655439888 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8648] ppid=8638 vsize=26004140 memory=139743136414896 CPUtime=0 cores=0-7 /proc/8640/task/8648/stat : 8648 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875638 26628239360 11572 33554432000 4194304 4196468 140726316297280 139901654387088 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8649] ppid=8638 vsize=26004140 memory=3472463641317586400 CPUtime=0 cores=0-7 /proc/8640/task/8649/stat : 8649 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147875638 26628239360 11572 33554432000 4194304 4196468 140726316297280 139901653334288 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8650] ppid=8638 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8650/stat : 8650 (java) S 8638 8638 7594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 147875640 26628239360 11572 33554432000 4194304 4196468 140726316297280 139901246135152 139901738134146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8651] ppid=8638 vsize=26004140 memory=279486272841360 CPUtime=0 cores=0-7 /proc/8640/task/8651/stat : 8651 (java) S 8638 8638 7594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147875640 26628239360 11572 33554432000 4194304 4196468 140726316297280 139900864194080 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8652] ppid=8638 vsize=26004140 memory=279486272848272 CPUtime=0 cores=0-7 /proc/8640/task/8652/stat : 8652 (java) S 8638 8638 7594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147875640 26628239360 11572 33554432000 4194304 4196468 140726316297280 139900863141232 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8653] ppid=8638 vsize=26004140 memory=279486272789424 CPUtime=0 cores=0-7 /proc/8640/task/8653/stat : 8653 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875643 26628239360 11572 33554432000 4194304 4196468 140726316297280 139900862089552 139901738141595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8654] ppid=8638 vsize=26004140 memory=279486272862096 CPUtime=0.01 cores=0-7 /proc/8640/task/8654/stat : 8654 (java) S 8638 8638 7594 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 20 0 147875643 26628239360 11572 33554432000 4194304 4196468 140726316297280 139900861036912 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8655] ppid=8638 vsize=26004140 memory=279486272869008 CPUtime=0.01 cores=0-7 /proc/8640/task/8655/stat : 8655 (java) S 8638 8638 7594 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 20 0 147875643 26628239360 11572 33554432000 4194304 4196468 140726316297280 139900859984112 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8656] ppid=8638 vsize=26004140 memory=279486272866704 CPUtime=0.03 cores=0-7 /proc/8640/task/8656/stat : 8656 (java) S 8638 8638 7594 0 -1 1077944384 336 0 0 0 3 0 0 0 20 0 20 0 147875643 26628239360 11572 33554432000 4194304 4196468 140726316297280 139900858931312 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8657] ppid=8638 vsize=26004140 memory=279486272882864 CPUtime=0.12 cores=0-7 /proc/8640/task/8657/stat : 8657 (java) S 8638 8638 7594 0 -1 1077944384 850 0 0 0 12 0 0 0 20 0 20 0 147875643 26628239360 11572 33554432000 4194304 4196468 140726316297280 139900857878512 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8658] ppid=8638 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8658/stat : 8658 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147875643 26628239360 11572 33554432000 4194304 4196468 140726316297280 139900856826976 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8659] ppid=8638 vsize=26004140 memory=-1 CPUtime=0 cores=0-7 /proc/8640/task/8659/stat : 8659 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875643 26628239360 11572 33554432000 4194304 4196468 140726316297280 139900855774256 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013652 KiB Current children cumulated memory: 47668 KiB [startup+0.705575 s] /proc/loadavg: 7.10 8.06 8.19 3/199 8659 /proc/meminfo: memFree=27150080/32770624 swapFree=67108860/67108860 [pid=8638] ppid=8635 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/8638/stat : 8638 (xcsp3-exec) S 8635 8638 7594 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 147875637 9740288 345 33554432000 4194304 5098028 140727891124304 140727891122408 139924064399996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23396352 140727891125349 140727891125559 140727891125559 140727891128299 0 /proc/8638/statm: 2378 345 289 221 0 87 0 [pid=8640] ppid=8638 vsize=26538700 memory=97416 CPUtime=2 cores=0-7 /proc/8640/stat : 8640 (java) S 8638 8638 7594 0 -1 1077944320 13204 0 0 0 194 6 0 0 20 0 28 0 147875637 27175628800 24354 33554432000 4194304 4196468 140726316297280 140726316279824 139901738122999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 /proc/8640/statm: 6634675 24354 3209 1 0 6621909 0 [pid=8640/tid=8641] ppid=8638 vsize=26538700 memory=279486273240752 CPUtime=0.59 cores=0-7 /proc/8640/task/8641/stat : 8641 (java) S 8638 8638 7594 0 -1 1077944384 6904 0 0 0 57 2 0 0 20 0 28 0 147875637 27175628800 24354 33554432000 4194304 4196468 140726316297280 139901742363776 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8642] ppid=8638 vsize=26538700 memory=139743136621424 CPUtime=0 cores=0-7 /proc/8640/task/8642/stat : 8642 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 24354 33554432000 4194304 4196468 140726316297280 139901660703888 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8643] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8643/stat : 8643 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 24354 33554432000 4194304 4196468 140726316297280 139901659651088 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8644] ppid=8638 vsize=26538700 memory=11108 CPUtime=0 cores=0-7 /proc/8640/task/8644/stat : 8644 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 24354 33554432000 4194304 4196468 140726316297280 139901658598288 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 ################ # More data... # ################ [pid=8640/tid=8649] ppid=8638 vsize=26538700 memory=-9178283013952593245 CPUtime=0 cores=0-7 /proc/8640/task/8649/stat : 8649 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 25156 33554432000 4194304 4196468 140726316297280 139901653334288 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8650] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8650/stat : 8650 (java) S 8638 8638 7594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 147875640 27175628800 25156 33554432000 4194304 4196468 140726316297280 139901246135152 139901738134146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8651] ppid=8638 vsize=26538700 memory=1728 CPUtime=0 cores=0-7 /proc/8640/task/8651/stat : 8651 (java) S 8638 8638 7594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 147875640 27175628800 25156 33554432000 4194304 4196468 140726316297280 139900864194080 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8652] ppid=8638 vsize=26538700 memory=1720 CPUtime=0 cores=0-7 /proc/8640/task/8652/stat : 8652 (java) S 8638 8638 7594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 147875640 27175628800 25156 33554432000 4194304 4196468 140726316297280 139900863141232 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8653] ppid=8638 vsize=26538700 memory=1008 CPUtime=0 cores=0-7 /proc/8640/task/8653/stat : 8653 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147875643 27175628800 25156 33554432000 4194304 4196468 140726316297280 139900862089552 139901738141595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8654] ppid=8638 vsize=26538700 memory=1928 CPUtime=0.24 cores=0-7 /proc/8640/task/8654/stat : 8654 (java) R 8638 8638 7594 0 -1 4202560 1098 0 0 0 23 1 0 0 20 0 28 0 147875643 27175628800 25156 33554432000 4194304 4196468 140726316297280 139900861022792 139901717641248 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8655] ppid=8638 vsize=26538700 memory=1200 CPUtime=0.28 cores=0-7 /proc/8640/task/8655/stat : 8655 (java) R 8638 8638 7594 0 -1 4202560 1222 0 0 0 28 0 0 0 20 0 28 0 147875643 27175628800 25156 33554432000 4194304 4196468 140726316297280 139900859970136 139901719670305 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8656] ppid=8638 vsize=26538700 memory=8660 CPUtime=0.26 cores=0-7 /proc/8640/task/8656/stat : 8656 (java) R 8638 8638 7594 0 -1 4202560 1144 0 0 0 26 0 0 0 20 0 28 0 147875643 27175628800 25156 33554432000 4194304 4196468 140726316297280 139900858917336 139901719666722 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8657] ppid=8638 vsize=26538700 memory=5784 CPUtime=0.43 cores=0-7 /proc/8640/task/8657/stat : 8657 (java) S 8638 8638 7594 0 -1 1077944384 1990 0 0 0 43 0 0 0 20 0 28 0 147875643 27175628800 25156 33554432000 4194304 4196468 140726316297280 139900857878640 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8658] ppid=8638 vsize=26538700 memory=4616 CPUtime=0 cores=0-7 /proc/8640/task/8658/stat : 8658 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147875643 27175628800 25156 33554432000 4194304 4196468 140726316297280 139900856826976 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8659] ppid=8638 vsize=26538700 memory=1228 CPUtime=0 cores=0-7 /proc/8640/task/8659/stat : 8659 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147875643 27175628800 25156 33554432000 4194304 4196468 140726316297280 139900855774256 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 Current children cumulated CPU time: 2.69 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 102004 KiB [startup+1.20557 s] /proc/loadavg: 7.10 8.06 8.19 5/207 8667 /proc/meminfo: memFree=27107144/32770624 swapFree=67108860/67108860 [pid=8638] ppid=8635 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/8638/stat : 8638 (xcsp3-exec) S 8635 8638 7594 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 147875637 9740288 345 33554432000 4194304 5098028 140727891124304 140727891122408 139924064399996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23396352 140727891125349 140727891125559 140727891125559 140727891128299 0 /proc/8638/statm: 2378 345 289 221 0 87 0 [pid=8640] ppid=8638 vsize=26538700 memory=112356 CPUtime=5.88 cores=0-7 /proc/8640/stat : 8640 (java) S 8638 8638 7594 0 -1 1077944320 16996 0 0 0 581 7 0 0 20 0 28 0 147875637 27175628800 28089 33554432000 4194304 4196468 140726316297280 140726316279824 139901738122999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 /proc/8640/statm: 6634675 28089 3214 1 0 6621909 0 [pid=8640/tid=8641] ppid=8638 vsize=26538700 memory=0 CPUtime=0.59 cores=0-7 /proc/8640/task/8641/stat : 8641 (java) S 8638 8638 7594 0 -1 1077944384 6904 0 0 0 57 2 0 0 20 0 28 0 147875637 27175628800 28089 33554432000 4194304 4196468 140726316297280 139901742363776 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8642] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8642/stat : 8642 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 28089 33554432000 4194304 4196468 140726316297280 139901660703888 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8643] ppid=8638 vsize=26538700 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/8640/task/8643/stat : 8643 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 28089 33554432000 4194304 4196468 140726316297280 139901659651088 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8644] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8644/stat : 8644 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 28089 33554432000 4194304 4196468 140726316297280 139901658598288 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8645] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8645/stat : 8645 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 28089 33554432000 4194304 4196468 140726316297280 139901657545488 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8646] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8646/stat : 8646 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 28089 33554432000 4194304 4196468 140726316297280 139901656492688 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8647] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8647/stat : 8647 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 28089 33554432000 4194304 4196468 140726316297280 139901655439888 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8648] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8648/stat : 8648 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 28089 33554432000 4194304 4196468 140726316297280 139901654387088 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8649] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8649/stat : 8649 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 28089 33554432000 4194304 4196468 140726316297280 139901653334288 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8650] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8650/stat : 8650 (java) S 8638 8638 7594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 147875640 27175628800 28089 33554432000 4194304 4196468 140726316297280 139901246135152 139901738134146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8651] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8651/stat : 8651 (java) S 8638 8638 7594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 147875640 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900864194080 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8652] ppid=8638 vsize=26538700 memory=302022848351043610 CPUtime=0 cores=0-7 /proc/8640/task/8652/stat : 8652 (java) S 8638 8638 7594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 147875640 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900863141232 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8653] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8653/stat : 8653 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147875643 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900862089552 139901738141595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8654] ppid=8638 vsize=26538700 memory=7950376605432638824 CPUtime=0.49 cores=0-7 /proc/8640/task/8654/stat : 8654 (java) R 8638 8638 7594 0 -1 4202560 2648 0 0 0 48 1 0 0 20 0 28 0 147875643 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900861022936 139901719667152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8655] ppid=8638 vsize=26538700 memory=1 CPUtime=0.62 cores=0-7 /proc/8640/task/8655/stat : 8655 (java) R 8638 8638 7594 0 -1 4202560 1486 0 0 0 62 0 0 0 20 0 28 0 147875643 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900859969264 139901716535746 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8656] ppid=8638 vsize=26538700 memory=0 CPUtime=0.45 cores=0-7 /proc/8640/task/8656/stat : 8656 (java) R 8638 8638 7594 0 -1 4202560 1810 0 0 0 45 0 0 0 20 0 28 0 147875643 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900858917192 139901717367584 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8657] ppid=8638 vsize=26538700 memory=6656426216303648864 CPUtime=0.5 cores=0-7 /proc/8640/task/8657/stat : 8657 (java) R 8638 8638 7594 0 -1 1077944384 2386 0 0 0 50 0 0 0 20 0 28 0 147875643 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900857878512 139901738134146 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8658] ppid=8638 vsize=26538700 memory=3403 CPUtime=0 cores=0-7 /proc/8640/task/8658/stat : 8658 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147875643 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900856826976 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8659] ppid=8638 vsize=26538700 memory=707 CPUtime=0 cores=0-7 /proc/8640/task/8659/stat : 8659 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147875643 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900855774256 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8660] ppid=8638 vsize=26538700 memory=0 CPUtime=0.5 cores=0-7 /proc/8640/task/8660/stat : 8660 (java) R 8638 8638 7594 0 -1 4202560 111 0 0 0 50 0 0 0 20 0 28 0 147875699 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900847764664 139901722695281 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8661] ppid=8638 vsize=26538700 memory=204 CPUtime=0.35 cores=0-7 /proc/8640/task/8661/stat : 8661 (java) R 8638 8638 7594 0 -1 4202560 47 0 0 0 35 0 0 0 20 0 28 0 147875700 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900846710296 139901333175968 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8662] ppid=8638 vsize=26538700 memory=354 CPUtime=0.42 cores=0-7 /proc/8640/task/8662/stat : 8662 (java) R 8638 8638 7594 0 -1 4202560 51 0 0 0 42 0 0 0 20 0 28 0 147875700 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900845658632 139901333935534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8663] ppid=8638 vsize=26538700 memory=75 CPUtime=0.37 cores=0-7 /proc/8640/task/8663/stat : 8663 (java) R 8638 8638 7594 0 -1 4202560 39 0 0 0 37 0 0 0 20 0 28 0 147875700 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900844602000 139901328837953 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8664] ppid=8638 vsize=26538700 memory=92 CPUtime=0.37 cores=0-7 /proc/8640/task/8664/stat : 8664 (java) R 8638 8638 7594 0 -1 4202560 42 0 0 0 37 0 0 0 20 0 28 0 147875700 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900843554408 139901328812004 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8665] ppid=8638 vsize=26538700 memory=15184 CPUtime=0.34 cores=0-7 /proc/8640/task/8665/stat : 8665 (java) R 8638 8638 7594 0 -1 4202560 65 0 0 0 34 0 0 0 20 0 28 0 147875700 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900775026696 139901329824766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8666] ppid=8638 vsize=26538700 memory=0 CPUtime=0.35 cores=0-7 /proc/8640/task/8666/stat : 8666 (java) R 8638 8638 7594 0 -1 4202560 48 0 0 0 35 0 0 0 20 0 28 0 147875700 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900773974792 139901333517482 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8667] ppid=8638 vsize=26538700 memory=0 CPUtime=0.42 cores=0-7 /proc/8640/task/8667/stat : 8667 (java) R 8638 8638 7594 0 -1 4202560 42 0 0 0 42 0 0 0 20 0 28 0 147875700 27175628800 28089 33554432000 4194304 4196468 140726316297280 139900772919272 139901331819301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 Current children cumulated CPU time: 5.88 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 113736 KiB [startup+1.40106 s] /proc/loadavg: 7.10 8.06 8.19 5/207 8667 /proc/meminfo: memFree=27107144/32770624 swapFree=67108860/67108860 [pid=8638] ppid=8635 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/8638/stat : 8638 (xcsp3-exec) S 8635 8638 7594 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 147875637 9740288 345 33554432000 4194304 5098028 140727891124304 140727891122408 139924064399996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23396352 140727891125349 140727891125559 140727891125559 140727891128299 0 /proc/8638/statm: 2378 345 289 221 0 87 0 [pid=8640] ppid=8638 vsize=26538700 memory=115328 CPUtime=7.44 cores=0-7 /proc/8640/stat : 8640 (java) S 8638 8638 7594 0 -1 1077944320 17252 0 0 0 737 7 0 0 20 0 28 0 147875637 27175628800 28832 33554432000 4194304 4196468 140726316297280 140726316279824 139901738122999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 /proc/8640/statm: 6634675 28832 3215 1 0 6621909 0 [pid=8640/tid=8641] ppid=8638 vsize=26538700 memory=0 CPUtime=0.59 cores=0-7 /proc/8640/task/8641/stat : 8641 (java) S 8638 8638 7594 0 -1 1077944384 6904 0 0 0 57 2 0 0 20 0 28 0 147875637 27175628800 28832 33554432000 4194304 4196468 140726316297280 139901742363776 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8642] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8642/stat : 8642 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 28832 33554432000 4194304 4196468 140726316297280 139901660703888 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8643] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8643/stat : 8643 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 28832 33554432000 4194304 4196468 140726316297280 139901659651088 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8644] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8644/stat : 8644 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 28832 33554432000 4194304 4196468 140726316297280 139901658598288 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8645] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8645/stat : 8645 (java) S 8638 8638 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 28832 33554432000 4194304 4196468 140726316297280 139901657545488 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8646] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8646/stat : 8646 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 28832 33554432000 4194304 4196468 140726316297280 139901656492688 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8647] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8647/stat : 8647 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 28832 33554432000 4194304 4196468 140726316297280 139901655439888 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8648] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8648/stat : 8648 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 28832 33554432000 4194304 4196468 140726316297280 139901654387088 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8649] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8649/stat : 8649 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147875638 27175628800 28832 33554432000 4194304 4196468 140726316297280 139901653334288 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8650] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8650/stat : 8650 (java) S 8638 8638 7594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 147875640 27175628800 28832 33554432000 4194304 4196468 140726316297280 139901246135152 139901738134146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8651] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8651/stat : 8651 (java) S 8638 8638 7594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 147875640 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900864194080 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8652] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8652/stat : 8652 (java) S 8638 8638 7594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 147875640 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900863141232 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8653] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8653/stat : 8653 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147875643 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900862089552 139901738141595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8654] ppid=8638 vsize=26538700 memory=0 CPUtime=0.66 cores=0-7 /proc/8640/task/8654/stat : 8654 (java) R 8638 8638 7594 0 -1 4202560 2675 0 0 0 65 1 0 0 20 0 28 0 147875643 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900861029400 139901721648710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8655] ppid=8638 vsize=26538700 memory=0 CPUtime=0.74 cores=0-7 /proc/8640/task/8655/stat : 8655 (java) R 8638 8638 7594 0 -1 4202560 1660 0 0 0 74 0 0 0 20 0 28 0 147875643 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900859970208 139901724137313 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8656] ppid=8638 vsize=26538700 memory=0 CPUtime=0.56 cores=0-7 /proc/8640/task/8656/stat : 8656 (java) R 8638 8638 7594 0 -1 4202560 1852 0 0 0 56 0 0 0 20 0 28 0 147875643 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900858917680 139901724138243 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8657] ppid=8638 vsize=26538700 memory=0 CPUtime=0.51 cores=0-7 /proc/8640/task/8657/stat : 8657 (java) R 8638 8638 7594 0 -1 1077944384 2398 0 0 0 51 0 0 0 20 0 28 0 147875643 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900857878512 139901738134146 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8658] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8658/stat : 8658 (java) S 8638 8638 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147875643 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900856826976 139901738133205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8659] ppid=8638 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/8640/task/8659/stat : 8659 (java) S 8638 8638 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147875643 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900855774256 139901738134146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8660] ppid=8638 vsize=26538700 memory=0 CPUtime=0.69 cores=0-7 /proc/8640/task/8660/stat : 8660 (java) R 8638 8638 7594 0 -1 4202560 111 0 0 0 69 0 0 0 20 0 28 0 147875699 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900847762200 139901333096327 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8661] ppid=8638 vsize=26538700 memory=0 CPUtime=0.45 cores=0-7 /proc/8640/task/8661/stat : 8661 (java) R 8638 8638 7594 0 -1 4202560 47 0 0 0 45 0 0 0 20 0 28 0 147875700 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900846710400 139901331482463 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8662] ppid=8638 vsize=26538700 memory=0 CPUtime=0.6 cores=0-7 /proc/8640/task/8662/stat : 8662 (java) R 8638 8638 7594 0 -1 4202560 51 0 0 0 60 0 0 0 20 0 28 0 147875700 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900845660392 139901738134934 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8663] ppid=8638 vsize=26538700 memory=0 CPUtime=0.57 cores=0-7 /proc/8640/task/8663/stat : 8663 (java) R 8638 8638 7594 0 -1 4202560 39 0 0 0 57 0 0 0 20 0 28 0 147875700 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900844604624 139901334168137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8664] ppid=8638 vsize=26538700 memory=0 CPUtime=0.47 cores=0-7 /proc/8640/task/8664/stat : 8664 (java) R 8638 8638 7594 0 -1 4202560 42 0 0 0 47 0 0 0 20 0 28 0 147875700 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900843552080 139901334251014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8665] ppid=8638 vsize=26538700 memory=0 CPUtime=0.44 cores=0-7 /proc/8640/task/8665/stat : 8665 (java) R 8638 8638 7594 0 -1 4202560 66 0 0 0 44 0 0 0 20 0 28 0 147875700 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900775028568 139901334167739 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8666] ppid=8638 vsize=26538700 memory=0 CPUtime=0.45 cores=0-7 /proc/8640/task/8666/stat : 8666 (java) R 8638 8638 7594 0 -1 4202560 48 0 0 0 45 0 0 0 20 0 28 0 147875700 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900773974792 139901328977376 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 [pid=8640/tid=8667] ppid=8638 vsize=26538700 memory=0 CPUtime=0.6 cores=0-7 /proc/8640/task/8667/stat : 8667 (java) R 8638 8638 7594 0 -1 4202560 42 0 0 0 60 0 0 0 20 0 28 0 147875700 27175628800 28832 33554432000 4194304 4196468 140726316297280 139900772920096 139901333554133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21450752 140726316299410 140726316299587 140726316299587 140726316302287 0 Current children cumulated CPU time: 7.44 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 116708 KiB Child status: 0 Real time (s): 1.43061 CPU time (s): 7.54639 CPU user time (s): 7.47008 CPU system time (s): 0.07631 CPU usage (%): 527.494 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 116708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.47008 system time used= 0.07631 maximum resident set size= 118692 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17798 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= 2975 involuntary context switches= 210 # summary of solver processes directly reported to runsolver: # pid: 8638 # total CPU time (s): 7.54639 # total CPU user time (s): 7.47008 # total CPU system time (s): 0.07631 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.03042 second user time and 0.058813 second system time The end
Begin job on node115 at 2017-08-19 14:50:21 IDJOB=4280487 IDBENCH=130612 IDSOLVER=2675 FILE ID=node115/4280487-1503147881 RUNJOBID= node115-1503141271-7621 PBS_JOBID= 20630797 Free space on /tmp= 61868 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-04.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280487-1503147881/watcher-4280487-1503147881 -o /tmp/evaluation-result-4280487-1503147881/solver-4280487-1503147881 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503141271-7621 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 663192796 HOME/instance-4280487-1503147881.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2ada0409f2c6e70f95908de4e7f6edb2 RANDOM SEED=663192796 node115.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.69 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.69 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.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 : 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.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 : 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: 27202676 kB MemAvailable: 31971980 kB Buffers: 241640 kB Cached: 4821024 kB SwapCached: 0 kB Active: 893452 kB Inactive: 4224004 kB Active(anon): 5948 kB Inactive(anon): 85176 kB Active(file): 887504 kB Inactive(file): 4138828 kB Unevictable: 7056 kB Mlocked: 7056 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7968 kB Writeback: 0 kB AnonPages: 62260 kB Mapped: 50892 kB Shmem: 33416 kB Slab: 144640 kB SReclaimable: 117616 kB SUnreclaim: 27024 kB KernelStack: 3152 kB PageTables: 4756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332552 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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= 61860 MiB End job on node115 at 2017-08-19 14:50:22