Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | UNSAT | 703.573 | 89.175903 |
Name | QuasiGroups/QuasiGroups-elt-qg4/ QuasiGroup-4-08.xml |
MD5SUM | 86261698a40453ca60d699c1ebc214eb |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 43.4333 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 128 |
Number of constraints | 114 |
Number of domains | 2 |
Minimum domain size | 8 |
Maximum domain size | 64 |
Distribution of domain sizes | [{"size":8,"count":64},{"size":64,"count":56}] |
Minimum variable degree | 0 |
Maximum variable degree | 59 |
Distribution of variable degrees | [{"degree":0,"count":8},{"degree":2,"count":56},{"degree":58,"count":8},{"degree":59,"count":56}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 65 |
Distribution of constraint arities | [{"arity":3,"count":56},{"arity":8,"count":1},{"arity":64,"count":1},{"arity":65,"count":56}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 56 |
Distribution of constraint types | [{"type":"intension","count":56},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":56}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271149-1502764803.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271149-1502764803.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 2.57/1.29 c solve instance... 703.14/89.16 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 (15324 MiB free) memory of node 1: 16384 MiB (15469 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271149-1502764803/watcher-4271149-1502764803 -o /tmp/evaluation-result-4271149-1502764803/solver-4271149-1502764803 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502761355-25342 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 735586722 HOME/instance-4271149-1502764803.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=25637, runsolver pid=25634 Current StackSize limit: 8192 KiB [startup+0.100157 s]* /proc/loadavg: 3.06 6.70 7.75 3/199 25658 /proc/meminfo: memFree=31517780/32770624 swapFree=67108860/67108860 [pid=25637] ppid=25634 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/25637/stat : 25637 (xcsp3-exec) S 25634 25637 25315 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109568003 9740288 346 33554432000 4194304 5098028 140734642220704 140734642218808 139945152705148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40755200 140734642226277 140734642226487 140734642226487 140734642229227 0 /proc/25637/statm: 2378 346 289 221 0 87 0 [pid=25639] ppid=25637 vsize=25999808 memory=25624 CPUtime=0.12 cores=0-7 /proc/25639/stat : 25639 (java) S 25637 25637 25315 0 -1 1077944320 5332 0 0 0 11 1 0 0 20 0 20 0 109568003 26623803392 6406 33554432000 4194304 4196468 140729542694896 140729542677440 140026766749431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 /proc/25639/statm: 6499952 6406 2860 1 0 6488269 0 [pid=25639/tid=25640] ppid=25637 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/25639/task/25640/stat : 25640 (java) R 25637 25637 25315 0 -1 4202560 3291 0 0 0 8 0 0 0 20 0 20 0 109568004 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026770981680 140026759846267 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25641] ppid=25637 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/25639/task/25641/stat : 25641 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568004 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026325281040 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25642] ppid=25637 vsize=25999808 memory=139995549128320 CPUtime=0 cores=0-7 /proc/25639/task/25642/stat : 25642 (java) S 25637 25637 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109568004 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026324228496 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25643] ppid=25637 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25643/stat : 25643 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568004 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026323175952 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25644] ppid=25637 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25644/stat : 25644 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568004 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026322123408 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25645] ppid=25637 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25645/stat : 25645 (java) S 25637 25637 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109568004 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026321070864 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25646] ppid=25637 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/25639/task/25646/stat : 25646 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568004 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026320018320 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25647] ppid=25637 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25647/stat : 25647 (java) S 25637 25637 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109568004 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026318965776 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25648] ppid=25637 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25648/stat : 25648 (java) S 25637 25637 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109568004 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026317913232 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25649] ppid=25637 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25649/stat : 25649 (java) S 25637 25637 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109568006 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026162616304 140026766760578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25650] ppid=25637 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25650/stat : 25650 (java) S 25637 25637 25315 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109568006 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026161562528 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25651] ppid=25637 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25651/stat : 25651 (java) S 25637 25637 25315 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109568007 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026160509936 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25652] ppid=25637 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25652/stat : 25652 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568009 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026159458512 140026766768027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25653] ppid=25637 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25653/stat : 25653 (java) S 25637 25637 25315 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 109568009 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026158406128 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25654] ppid=25637 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25654/stat : 25654 (java) R 25637 25637 25315 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 109568009 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026157353584 140026766760578 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25655] ppid=25637 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25655/stat : 25655 (java) S 25637 25637 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109568009 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026156301040 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25656] ppid=25637 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/25639/task/25656/stat : 25656 (java) R 25637 25637 25315 0 -1 4202560 284 0 0 0 1 0 0 0 20 0 20 0 109568009 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026155248496 140026759846267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25657] ppid=25637 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25657/stat : 25657 (java) S 25637 25637 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109568009 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026154195168 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25658] ppid=25637 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/25639/task/25658/stat : 25658 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568009 26623803392 6406 33554432000 4194304 4196468 140729542694896 140026153142704 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27008 KiB [startup+0.210033 s]* /proc/loadavg: 3.06 6.70 7.75 2/199 25658 /proc/meminfo: memFree=31506616/32770624 swapFree=67108860/67108860 [pid=25637] ppid=25634 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/25637/stat : 25637 (xcsp3-exec) S 25634 25637 25315 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109568003 9740288 346 33554432000 4194304 5098028 140734642220704 140734642218808 139945152705148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40755200 140734642226277 140734642226487 140734642226487 140734642229227 0 /proc/25637/statm: 2378 346 289 221 0 87 0 [pid=25639] ppid=25637 vsize=26004064 memory=38116 CPUtime=0.33 cores=0-7 /proc/25639/stat : 25639 (java) S 25637 25637 25315 0 -1 1077944320 8080 0 0 0 31 2 0 0 20 0 20 0 109568003 26628161536 9529 33554432000 4194304 4196468 140729542694896 140729542677440 140026766749431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 /proc/25639/statm: 6501016 9529 3089 1 0 6488269 0 [pid=25639/tid=25640] ppid=25637 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/25639/task/25640/stat : 25640 (java) R 25637 25637 25315 0 -1 4202560 5017 0 0 0 18 1 0 0 20 0 20 0 109568004 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026770970424 140026766761366 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25641] ppid=25637 vsize=26004064 memory=331 CPUtime=0 cores=0-7 /proc/25639/task/25641/stat : 25641 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568004 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026325281040 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25642] ppid=25637 vsize=26004064 memory=288370371700840064 CPUtime=0 cores=0-7 /proc/25639/task/25642/stat : 25642 (java) S 25637 25637 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109568004 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026324228496 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25643] ppid=25637 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/25639/task/25643/stat : 25643 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568004 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026323175952 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25644] ppid=25637 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25644/stat : 25644 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568004 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026322123408 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25645] ppid=25637 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25645/stat : 25645 (java) S 25637 25637 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109568004 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026321070864 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25646] ppid=25637 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/25639/task/25646/stat : 25646 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568004 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026320018320 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25647] ppid=25637 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25647/stat : 25647 (java) S 25637 25637 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109568004 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026318965776 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25648] ppid=25637 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25648/stat : 25648 (java) S 25637 25637 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109568004 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026317913232 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25649] ppid=25637 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25649/stat : 25649 (java) S 25637 25637 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109568006 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026162616304 140026766760578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25650] ppid=25637 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25650/stat : 25650 (java) S 25637 25637 25315 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109568006 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026161562528 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25651] ppid=25637 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25651/stat : 25651 (java) S 25637 25637 25315 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109568007 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026160509936 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25652] ppid=25637 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25652/stat : 25652 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568009 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026159458512 140026766768027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25653] ppid=25637 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25653/stat : 25653 (java) S 25637 25637 25315 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 20 0 109568009 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026158406128 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25654] ppid=25637 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/25639/task/25654/stat : 25654 (java) S 25637 25637 25315 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 20 0 109568009 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026157353584 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25655] ppid=25637 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/25639/task/25655/stat : 25655 (java) S 25637 25637 25315 0 -1 1077944384 205 0 0 0 2 0 0 0 20 0 20 0 109568009 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026156301040 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25656] ppid=25637 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/25639/task/25656/stat : 25656 (java) R 25637 25637 25315 0 -1 4202560 825 0 0 0 7 0 0 0 20 0 20 0 109568009 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026155248496 140026752117568 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25657] ppid=25637 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25657/stat : 25657 (java) S 25637 25637 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109568009 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026154195168 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25658] ppid=25637 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/25639/task/25658/stat : 25658 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568009 26628161536 9529 33554432000 4194304 4196468 140729542694896 140026153142704 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 39500 KiB [startup+0.309333 s]* /proc/loadavg: 3.06 6.70 7.75 4/199 25658 /proc/meminfo: memFree=31501840/32770624 swapFree=67108860/67108860 [pid=25637] ppid=25634 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/25637/stat : 25637 (xcsp3-exec) S 25634 25637 25315 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109568003 9740288 346 33554432000 4194304 5098028 140734642220704 140734642218808 139945152705148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40755200 140734642226277 140734642226487 140734642226487 140734642229227 0 /proc/25637/statm: 2378 346 289 221 0 87 0 [pid=25639] ppid=25637 vsize=26004064 memory=45336 CPUtime=0.5 cores=0-7 /proc/25639/stat : 25639 (java) S 25637 25637 25315 0 -1 1077944320 9070 0 0 0 47 3 0 0 20 0 20 0 109568003 26628161536 11334 33554432000 4194304 4196468 140729542694896 140729542677440 140026766749431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 /proc/25639/statm: 6501016 11334 3112 1 0 6488269 0 [pid=25639/tid=25640] ppid=25637 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/25639/task/25640/stat : 25640 (java) R 25637 25637 25315 0 -1 4202560 5716 0 0 0 28 1 0 0 20 0 20 0 109568004 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026770972176 140026750829918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25641] ppid=25637 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25641/stat : 25641 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568004 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026325281040 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25642] ppid=25637 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25642/stat : 25642 (java) S 25637 25637 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109568004 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026324228496 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25643] ppid=25637 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25643/stat : 25643 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568004 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026323175952 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25644] ppid=25637 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25644/stat : 25644 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568004 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026322123408 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25645] ppid=25637 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/25639/task/25645/stat : 25645 (java) S 25637 25637 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109568004 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026321070864 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25646] ppid=25637 vsize=26004064 memory=139995398632367 CPUtime=0 cores=0-7 /proc/25639/task/25646/stat : 25646 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568004 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026320018320 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25647] ppid=25637 vsize=26004064 memory=139995398634672 CPUtime=0 cores=0-7 /proc/25639/task/25647/stat : 25647 (java) S 25637 25637 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109568004 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026318965776 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25648] ppid=25637 vsize=26004064 memory=139995398636976 CPUtime=0 cores=0-7 /proc/25639/task/25648/stat : 25648 (java) S 25637 25637 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109568004 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026317913232 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25649] ppid=25637 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25649/stat : 25649 (java) S 25637 25637 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109568006 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026162616304 140026766760578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25650] ppid=25637 vsize=26004064 memory=279990797280912 CPUtime=0 cores=0-7 /proc/25639/task/25650/stat : 25650 (java) S 25637 25637 25315 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109568006 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026161562528 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25651] ppid=25637 vsize=26004064 memory=279990797287824 CPUtime=0 cores=0-7 /proc/25639/task/25651/stat : 25651 (java) S 25637 25637 25315 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109568007 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026160509936 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25652] ppid=25637 vsize=26004064 memory=279990797228976 CPUtime=0 cores=0-7 /proc/25639/task/25652/stat : 25652 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568009 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026159458512 140026766768027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25653] ppid=25637 vsize=26004064 memory=279990797301648 CPUtime=0.01 cores=0-7 /proc/25639/task/25653/stat : 25653 (java) R 25637 25637 25315 0 -1 4202560 459 0 0 0 1 0 0 0 20 0 20 0 109568009 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026158396512 140026750134180 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25654] ppid=25637 vsize=26004064 memory=279990797308560 CPUtime=0.02 cores=0-7 /proc/25639/task/25654/stat : 25654 (java) S 25637 25637 25315 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 20 0 109568009 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026157353584 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25655] ppid=25637 vsize=26004064 memory=279990797306256 CPUtime=0.02 cores=0-7 /proc/25639/task/25655/stat : 25655 (java) S 25637 25637 25315 0 -1 1077944384 209 0 0 0 2 0 0 0 20 0 20 0 109568009 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026156301040 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25656] ppid=25637 vsize=26004064 memory=279990797322416 CPUtime=0.12 cores=0-7 /proc/25639/task/25656/stat : 25656 (java) R 25637 25637 25315 0 -1 4202560 975 0 0 0 12 0 0 0 20 0 20 0 109568009 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026155244864 140026758986558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25657] ppid=25637 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25657/stat : 25657 (java) S 25637 25637 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109568009 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026154195168 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25658] ppid=25637 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/25639/task/25658/stat : 25658 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568009 26628161536 11334 33554432000 4194304 4196468 140729542694896 140026153142704 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 46720 KiB [startup+0.700851 s] /proc/loadavg: 3.06 6.70 7.75 5/199 25658 /proc/meminfo: memFree=31477148/32770624 swapFree=67108860/67108860 [pid=25637] ppid=25634 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/25637/stat : 25637 (xcsp3-exec) S 25634 25637 25315 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109568003 9740288 346 33554432000 4194304 5098028 140734642220704 140734642218808 139945152705148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40755200 140734642226277 140734642226487 140734642226487 140734642229227 0 /proc/25637/statm: 2378 346 289 221 0 87 0 [pid=25639] ppid=25637 vsize=26006188 memory=180808 CPUtime=1.54 cores=0-7 /proc/25639/stat : 25639 (java) S 25637 25637 25315 0 -1 1077944320 11811 0 0 0 148 6 0 0 20 0 20 0 109568003 26630336512 45202 33554432000 4194304 4196468 140729542694896 140729542677440 140026766749431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 /proc/25639/statm: 6501547 45202 3210 1 0 6488781 0 [pid=25639/tid=25640] ppid=25637 vsize=26006188 memory=279990797680304 CPUtime=0.66 cores=0-7 /proc/25639/task/25640/stat : 25640 (java) R 25637 25637 25315 0 -1 4202560 6456 0 0 0 63 3 0 0 20 0 20 0 109568004 26630336512 45202 33554432000 4194304 4196468 140729542694896 140026770985576 140026407786629 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25641] ppid=25637 vsize=26006188 memory=139995398841200 CPUtime=0 cores=0-7 /proc/25639/task/25641/stat : 25641 (java) S 25637 25637 25315 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 109568004 26630336512 45202 33554432000 4194304 4196468 140729542694896 140026325281040 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25642] ppid=25637 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25642/stat : 25642 (java) S 25637 25637 25315 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 109568004 26630336512 45202 33554432000 4194304 4196468 140729542694896 140026324228496 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25643] ppid=25637 vsize=26006188 memory=10928 CPUtime=0 cores=0-7 /proc/25639/task/25643/stat : 25643 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109568004 26630336512 45202 33554432000 4194304 4196468 140729542694896 140026323175952 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 ################ # More data... # ################ [pid=25639/tid=25656] ppid=25637 vsize=26538700 memory=0 CPUtime=0.73 cores=0-7 /proc/25639/task/25656/stat : 25656 (java) S 25637 25637 25315 0 -1 1077944384 5614 0 0 0 72 1 0 0 20 0 28 0 109568009 27175628800 200791 33554432000 4194304 4196468 140729542694896 140026155248496 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25657] ppid=25637 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25657/stat : 25657 (java) S 25637 25637 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109568009 27175628800 200791 33554432000 4194304 4196468 140729542694896 140026154195168 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25658] ppid=25637 vsize=26538700 memory=1384 CPUtime=0.01 cores=0-7 /proc/25639/task/25658/stat : 25658 (java) S 25637 25637 25315 0 -1 1077944384 1146 0 0 0 0 1 0 0 20 0 28 0 109568009 27175628800 200791 33554432000 4194304 4196468 140729542694896 140026153142704 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25659] ppid=25637 vsize=26538700 memory=680284 CPUtime=86.68 cores=0-7 /proc/25639/task/25659/stat : 25659 (java) R 25637 25637 25315 0 -1 4202560 698 0 0 0 8668 0 0 0 20 0 28 0 109568134 27175628800 200791 33554432000 4194304 4196468 140729542694896 140026145130952 140026411438120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25660] ppid=25637 vsize=26538700 memory=16098169624726079 CPUtime=86.96 cores=0-7 /proc/25639/task/25660/stat : 25660 (java) R 25637 25637 25315 0 -1 4202560 688 0 0 0 8696 0 0 0 20 0 28 0 109568134 27175628800 200791 33554432000 4194304 4196468 140729542694896 140026144080072 140026411202775 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25661] ppid=25637 vsize=26538700 memory=303430223234596890 CPUtime=85.56 cores=0-7 /proc/25639/task/25661/stat : 25661 (java) R 25637 25637 25315 0 -1 4202560 6470 0 0 0 8542 14 0 0 20 0 28 0 109568134 27175628800 200791 33554432000 4194304 4196468 140729542694896 140026143027416 140026410367667 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25662] ppid=25637 vsize=26538700 memory=288230583166042425 CPUtime=86.87 cores=0-7 /proc/25639/task/25662/stat : 25662 (java) R 25637 25637 25315 0 -1 4202560 1332 0 0 0 8686 1 0 0 20 0 28 0 109568134 27175628800 200791 33554432000 4194304 4196468 140729542694896 140026141974440 140026411175093 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25663] ppid=25637 vsize=26538700 memory=16098169624726079 CPUtime=87 cores=0-7 /proc/25639/task/25663/stat : 25663 (java) R 25637 25637 25315 0 -1 4202560 2051 0 0 0 8698 2 0 0 20 0 28 0 109568134 27175628800 200791 33554432000 4194304 4196468 140729542694896 140026140922744 140026410367667 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25664] ppid=25637 vsize=26538700 memory=16098169624726079 CPUtime=86.73 cores=0-7 /proc/25639/task/25664/stat : 25664 (java) R 25637 25637 25315 0 -1 4202560 763 0 0 0 8673 0 0 0 20 0 28 0 109568134 27175628800 200791 33554432000 4194304 4196468 140729542694896 140026139869496 140026410367825 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25665] ppid=25637 vsize=26538700 memory=0 CPUtime=86.86 cores=0-7 /proc/25639/task/25665/stat : 25665 (java) R 25637 25637 25315 0 -1 4202560 985 0 0 0 8683 3 0 0 20 0 28 0 109568134 27175628800 200791 33554432000 4194304 4196468 140729542694896 140026138816184 140026411320124 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25666] ppid=25637 vsize=26538700 memory=1384 CPUtime=86.94 cores=0-7 /proc/25639/task/25666/stat : 25666 (java) R 25637 25637 25315 0 -1 4202560 2778 0 0 0 8688 6 0 0 20 0 28 0 109568134 27175628800 200791 33554432000 4194304 4196468 140729542694896 140026137763536 140026411224619 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 Current children cumulated CPU time: 700.67 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 804548 KiB [startup+89.0015 s]* /proc/loadavg: 6.94 7.05 7.79 9/207 25666 /proc/meminfo: memFree=30738340/32770624 swapFree=67108860/67108860 [pid=25637] ppid=25634 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/25637/stat : 25637 (xcsp3-exec) S 25634 25637 25315 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109568003 9740288 346 33554432000 4194304 5098028 140734642220704 140734642218808 139945152705148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40755200 140734642226277 140734642226487 140734642226487 140734642229227 0 /proc/25637/statm: 2378 346 289 221 0 87 0 [pid=25639] ppid=25637 vsize=26538700 memory=809308 CPUtime=702.33 cores=0-7 /proc/25639/stat : 25639 (java) S 25637 25637 25315 0 -1 1077944320 54810 0 0 0 70181 52 0 0 20 0 28 0 109568003 27175628800 202327 33554432000 4194304 4196468 140729542694896 140729542677440 140026766749431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 /proc/25639/statm: 6634675 202327 3263 1 0 6621909 0 [pid=25639/tid=25640] ppid=25637 vsize=26538700 memory=8318255677412212789 CPUtime=1.25 cores=0-7 /proc/25639/task/25640/stat : 25640 (java) S 25637 25637 25315 0 -1 1077944384 6607 0 0 0 120 5 0 0 20 0 28 0 109568004 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026770990208 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25641] ppid=25637 vsize=26538700 memory=288230604707987820 CPUtime=0.03 cores=0-7 /proc/25639/task/25641/stat : 25641 (java) S 25637 25637 25315 0 -1 1077944384 145 0 0 0 2 1 0 0 20 0 28 0 109568004 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026325281040 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25642] ppid=25637 vsize=26538700 memory=288370371700840064 CPUtime=0.03 cores=0-7 /proc/25639/task/25642/stat : 25642 (java) S 25637 25637 25315 0 -1 1077944384 844 0 0 0 2 1 0 0 20 0 28 0 109568004 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026324228496 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25643] ppid=25637 vsize=26538700 memory=3472592183261933599 CPUtime=0.02 cores=0-7 /proc/25639/task/25643/stat : 25643 (java) S 25637 25637 25315 0 -1 1077944384 568 0 0 0 1 1 0 0 20 0 28 0 109568004 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026323175952 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25644] ppid=25637 vsize=26538700 memory=44260 CPUtime=0.02 cores=0-7 /proc/25639/task/25644/stat : 25644 (java) S 25637 25637 25315 0 -1 1077944384 369 0 0 0 1 1 0 0 20 0 28 0 109568004 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026322123408 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25645] ppid=25637 vsize=26538700 memory=279990799724016 CPUtime=0.03 cores=0-7 /proc/25639/task/25645/stat : 25645 (java) S 25637 25637 25315 0 -1 1077944384 128 0 0 0 2 1 0 0 20 0 28 0 109568004 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026321070864 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25646] ppid=25637 vsize=26538700 memory=139995399059311 CPUtime=0.03 cores=0-7 /proc/25639/task/25646/stat : 25646 (java) S 25637 25637 25315 0 -1 1077944384 163 0 0 0 2 1 0 0 20 0 28 0 109568004 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026320018320 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25647] ppid=25637 vsize=26538700 memory=279990798958640 CPUtime=0.03 cores=0-7 /proc/25639/task/25647/stat : 25647 (java) S 25637 25637 25315 0 -1 1077944384 201 0 0 0 2 1 0 0 20 0 28 0 109568004 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026318965776 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25648] ppid=25637 vsize=26538700 memory=279990798960944 CPUtime=0.02 cores=0-7 /proc/25639/task/25648/stat : 25648 (java) S 25637 25637 25315 0 -1 1077944384 1204 0 0 0 1 1 0 0 20 0 28 0 109568004 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026317913232 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25649] ppid=25637 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7 /proc/25639/task/25649/stat : 25649 (java) S 25637 25637 25315 0 -1 1077944384 1858 0 0 0 1 0 0 0 20 0 28 0 109568006 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026162616304 140026766760578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25650] ppid=25637 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25650/stat : 25650 (java) S 25637 25637 25315 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 109568006 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026161562592 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25651] ppid=25637 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25651/stat : 25651 (java) S 25637 25637 25315 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 109568007 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026160509952 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25652] ppid=25637 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25652/stat : 25652 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109568009 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026159458512 140026766768027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25653] ppid=25637 vsize=26538700 memory=220434901551226 CPUtime=1.52 cores=0-7 /proc/25639/task/25653/stat : 25653 (java) S 25637 25637 25315 0 -1 1077944384 6359 0 0 0 151 1 0 0 20 0 28 0 109568009 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026158406128 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25654] ppid=25637 vsize=26538700 memory=0 CPUtime=1.39 cores=0-7 /proc/25639/task/25654/stat : 25654 (java) S 25637 25637 25315 0 -1 1077944384 5144 0 0 0 138 1 0 0 20 0 28 0 109568009 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026157353584 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25655] ppid=25637 vsize=26538700 memory=-1 CPUtime=1.75 cores=0-7 /proc/25639/task/25655/stat : 25655 (java) S 25637 25637 25315 0 -1 1077944384 7351 0 0 0 174 1 0 0 20 0 28 0 109568009 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026156301040 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25656] ppid=25637 vsize=26538700 memory=0 CPUtime=0.73 cores=0-7 /proc/25639/task/25656/stat : 25656 (java) S 25637 25637 25315 0 -1 1077944384 5614 0 0 0 72 1 0 0 20 0 28 0 109568009 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026155248496 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25657] ppid=25637 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25657/stat : 25657 (java) S 25637 25637 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109568009 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026154195168 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25658] ppid=25637 vsize=26538700 memory=-1 CPUtime=0.01 cores=0-7 /proc/25639/task/25658/stat : 25658 (java) S 25637 25637 25315 0 -1 1077944384 1146 0 0 0 0 1 0 0 20 0 28 0 109568009 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026153142704 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25659] ppid=25637 vsize=26538700 memory=-1 CPUtime=86.89 cores=0-7 /proc/25639/task/25659/stat : 25659 (java) R 25637 25637 25315 0 -1 4202560 698 0 0 0 8689 0 0 0 20 0 28 0 109568134 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026145130952 140026410806287 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25660] ppid=25637 vsize=26538700 memory=0 CPUtime=87.17 cores=0-7 /proc/25639/task/25660/stat : 25660 (java) R 25637 25637 25315 0 -1 4202560 688 0 0 0 8717 0 0 0 20 0 28 0 109568134 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026144080072 140026410806405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25661] ppid=25637 vsize=26538700 memory=0 CPUtime=85.75 cores=0-7 /proc/25639/task/25661/stat : 25661 (java) R 25637 25637 25315 0 -1 4202560 6474 0 0 0 8561 14 0 0 20 0 28 0 109568134 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026143027416 140026410747521 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25662] ppid=25637 vsize=26538700 memory=0 CPUtime=87.08 cores=0-7 /proc/25639/task/25662/stat : 25662 (java) R 25637 25637 25315 0 -1 4202560 1332 0 0 0 8707 1 0 0 20 0 28 0 109568134 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026141974440 140026410853509 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25663] ppid=25637 vsize=26538700 memory=0 CPUtime=87.21 cores=0-7 /proc/25639/task/25663/stat : 25663 (java) R 25637 25637 25315 0 -1 4202560 2058 0 0 0 8719 2 0 0 20 0 28 0 109568134 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026140922744 140026404657873 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25664] ppid=25637 vsize=26538700 memory=0 CPUtime=86.94 cores=0-7 /proc/25639/task/25664/stat : 25664 (java) R 25637 25637 25315 0 -1 4202560 763 0 0 0 8694 0 0 0 20 0 28 0 109568134 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026139869496 140026410367879 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25665] ppid=25637 vsize=26538700 memory=0 CPUtime=87.07 cores=0-7 /proc/25639/task/25665/stat : 25665 (java) R 25637 25637 25315 0 -1 4202560 985 0 0 0 8704 3 0 0 20 0 28 0 109568134 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026138816184 140026411173371 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25666] ppid=25637 vsize=26538700 memory=0 CPUtime=87.15 cores=0-7 /proc/25639/task/25666/stat : 25666 (java) R 25637 25637 25315 0 -1 4202560 2781 0 0 0 8709 6 0 0 20 0 28 0 109568134 27175628800 202327 33554432000 4194304 4196468 140729542694896 140026137763536 140026411437762 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 Current children cumulated CPU time: 702.33 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 810692 KiB [startup+89.1115 s] /proc/loadavg: 6.94 7.05 7.79 9/207 25666 /proc/meminfo: memFree=30738340/32770624 swapFree=67108860/67108860 [pid=25637] ppid=25634 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/25637/stat : 25637 (xcsp3-exec) S 25634 25637 25315 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109568003 9740288 346 33554432000 4194304 5098028 140734642220704 140734642218808 139945152705148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40755200 140734642226277 140734642226487 140734642226487 140734642229227 0 /proc/25637/statm: 2378 346 289 221 0 87 0 [pid=25639] ppid=25637 vsize=26538700 memory=819548 CPUtime=703.14 cores=0-7 /proc/25639/stat : 25639 (java) S 25637 25637 25315 0 -1 1077944320 54816 0 0 0 70261 53 0 0 20 0 28 0 109568003 27175628800 204887 33554432000 4194304 4196468 140729542694896 140729542677440 140026766749431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 /proc/25639/statm: 6634675 204887 3263 1 0 6621909 0 [pid=25639/tid=25640] ppid=25637 vsize=26538700 memory=807260 CPUtime=1.25 cores=0-7 /proc/25639/task/25640/stat : 25640 (java) S 25637 25637 25315 0 -1 1077944384 6607 0 0 0 120 5 0 0 20 0 28 0 109568004 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026770990208 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25641] ppid=25637 vsize=26538700 memory=1384 CPUtime=0.03 cores=0-7 /proc/25639/task/25641/stat : 25641 (java) S 25637 25637 25315 0 -1 1077944384 145 0 0 0 2 1 0 0 20 0 28 0 109568004 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026325281040 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25642] ppid=25637 vsize=26538700 memory=1384 CPUtime=0.03 cores=0-7 /proc/25639/task/25642/stat : 25642 (java) S 25637 25637 25315 0 -1 1077944384 844 0 0 0 2 1 0 0 20 0 28 0 109568004 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026324228496 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25643] ppid=25637 vsize=26538700 memory=688476 CPUtime=0.02 cores=0-7 /proc/25639/task/25643/stat : 25643 (java) S 25637 25637 25315 0 -1 1077944384 568 0 0 0 1 1 0 0 20 0 28 0 109568004 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026323175952 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25644] ppid=25637 vsize=26538700 memory=607536 CPUtime=0.02 cores=0-7 /proc/25639/task/25644/stat : 25644 (java) S 25637 25637 25315 0 -1 1077944384 369 0 0 0 1 1 0 0 20 0 28 0 109568004 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026322123408 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25645] ppid=25637 vsize=26538700 memory=1200 CPUtime=0.03 cores=0-7 /proc/25639/task/25645/stat : 25645 (java) S 25637 25637 25315 0 -1 1077944384 128 0 0 0 2 1 0 0 20 0 28 0 109568004 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026321070864 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25646] ppid=25637 vsize=26538700 memory=1384 CPUtime=0.03 cores=0-7 /proc/25639/task/25646/stat : 25646 (java) S 25637 25637 25315 0 -1 1077944384 163 0 0 0 2 1 0 0 20 0 28 0 109568004 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026320018320 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25647] ppid=25637 vsize=26538700 memory=607496 CPUtime=0.03 cores=0-7 /proc/25639/task/25647/stat : 25647 (java) S 25637 25637 25315 0 -1 1077944384 201 0 0 0 2 1 0 0 20 0 28 0 109568004 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026318965776 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25648] ppid=25637 vsize=26538700 memory=796 CPUtime=0.02 cores=0-7 /proc/25639/task/25648/stat : 25648 (java) S 25637 25637 25315 0 -1 1077944384 1204 0 0 0 1 1 0 0 20 0 28 0 109568004 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026317913232 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25649] ppid=25637 vsize=26538700 memory=6944656592455360604 CPUtime=0.01 cores=0-7 /proc/25639/task/25649/stat : 25649 (java) S 25637 25637 25315 0 -1 1077944384 1858 0 0 0 1 0 0 0 20 0 28 0 109568006 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026162616304 140026766760578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25650] ppid=25637 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25650/stat : 25650 (java) S 25637 25637 25315 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 109568006 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026161562592 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25651] ppid=25637 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/25639/task/25651/stat : 25651 (java) S 25637 25637 25315 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 109568007 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026160509952 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25652] ppid=25637 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/25639/task/25652/stat : 25652 (java) S 25637 25637 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109568009 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026159458512 140026766768027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25653] ppid=25637 vsize=26538700 memory=607568 CPUtime=1.52 cores=0-7 /proc/25639/task/25653/stat : 25653 (java) S 25637 25637 25315 0 -1 1077944384 6359 0 0 0 151 1 0 0 20 0 28 0 109568009 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026158406128 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25654] ppid=25637 vsize=26538700 memory=4132 CPUtime=1.39 cores=0-7 /proc/25639/task/25654/stat : 25654 (java) S 25637 25637 25315 0 -1 1077944384 5144 0 0 0 138 1 0 0 20 0 28 0 109568009 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026157353584 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25655] ppid=25637 vsize=26538700 memory=607536 CPUtime=1.75 cores=0-7 /proc/25639/task/25655/stat : 25655 (java) S 25637 25637 25315 0 -1 1077944384 7351 0 0 0 174 1 0 0 20 0 28 0 109568009 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026156301040 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25656] ppid=25637 vsize=26538700 memory=1384 CPUtime=0.73 cores=0-7 /proc/25639/task/25656/stat : 25656 (java) S 25637 25637 25315 0 -1 1077944384 5614 0 0 0 72 1 0 0 20 0 28 0 109568009 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026155248496 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25657] ppid=25637 vsize=26538700 memory=4132 CPUtime=0 cores=0-7 /proc/25639/task/25657/stat : 25657 (java) S 25637 25637 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109568009 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026154195168 140026766759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25658] ppid=25637 vsize=26538700 memory=31144 CPUtime=0.01 cores=0-7 /proc/25639/task/25658/stat : 25658 (java) S 25637 25637 25315 0 -1 1077944384 1146 0 0 0 0 1 0 0 20 0 28 0 109568009 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026153142704 140026766760578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25659] ppid=25637 vsize=26538700 memory=6791534058613427641 CPUtime=86.99 cores=0-7 /proc/25639/task/25659/stat : 25659 (java) R 25637 25637 25315 0 -1 4202560 698 0 0 0 8699 0 0 0 20 0 28 0 109568134 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026145130952 140026411437838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25660] ppid=25637 vsize=26538700 memory=607536 CPUtime=87.27 cores=0-7 /proc/25639/task/25660/stat : 25660 (java) R 25637 25637 25315 0 -1 4202560 688 0 0 0 8727 0 0 0 20 0 28 0 109568134 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026144080072 140026411175660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25661] ppid=25637 vsize=26538700 memory=1384 CPUtime=85.85 cores=0-7 /proc/25639/task/25661/stat : 25661 (java) R 25637 25637 25315 0 -1 4202560 6474 0 0 0 8571 14 0 0 20 0 28 0 109568134 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026143027416 140026410945226 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25662] ppid=25637 vsize=26538700 memory=717148 CPUtime=87.18 cores=0-7 /proc/25639/task/25662/stat : 25662 (java) R 25637 25637 25315 0 -1 4202560 1332 0 0 0 8717 1 0 0 20 0 28 0 109568134 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026141974440 140026410367835 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25663] ppid=25637 vsize=26538700 memory=607496 CPUtime=87.31 cores=0-7 /proc/25639/task/25663/stat : 25663 (java) R 25637 25637 25315 0 -1 4202560 2060 0 0 0 8729 2 0 0 20 0 28 0 109568134 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026140922744 140026410807977 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25664] ppid=25637 vsize=26538700 memory=1384 CPUtime=87.04 cores=0-7 /proc/25639/task/25664/stat : 25664 (java) R 25637 25637 25315 0 -1 4202560 763 0 0 0 8704 0 0 0 20 0 28 0 109568134 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026139869496 140026410940641 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25665] ppid=25637 vsize=26538700 memory=1384 CPUtime=87.17 cores=0-7 /proc/25639/task/25665/stat : 25665 (java) R 25637 25637 25315 0 -1 4202560 985 0 0 0 8714 3 0 0 20 0 28 0 109568134 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026138816184 140026411873111 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 [pid=25639/tid=25666] ppid=25637 vsize=26538700 memory=635228 CPUtime=87.25 cores=0-7 /proc/25639/task/25666/stat : 25666 (java) R 25637 25637 25315 0 -1 4202560 2785 0 0 0 8719 6 0 0 20 0 28 0 109568134 27175628800 204887 33554432000 4194304 4196468 140729542694896 140026137763536 140026410853465 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25935872 140729542702226 140729542702403 140729542702403 140729542705103 0 Current children cumulated CPU time: 703.14 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 820932 KiB Child status: 0 Real time (s): 89.1759 CPU time (s): 703.573 CPU user time (s): 703.027 CPU system time (s): 0.545797 CPU usage (%): 788.972 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 820932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 703.027 system time used= 0.545797 maximum resident set size= 821540 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57171 page faults= 0 swaps= 0 block input operations= 0 block output operations= 224 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7126 involuntary context switches= 7933 # summary of solver processes directly reported to runsolver: # pid: 25637 # total CPU time (s): 703.573 # total CPU user time (s): 703.027 # total CPU system time (s): 0.545797 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.694508 second user time and 1.04496 second system time The end
Begin job on node115 at 2017-08-15 04:25:44 IDJOB=4271149 IDBENCH=133770 IDSOLVER=2662 FILE ID=node115/4271149-1502764803 RUNJOBID= node115-1502761355-25342 PBS_JOBID= 20629087 Free space on /tmp= 61812 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg4/QuasiGroup-4-08.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-4271149-1502764803/watcher-4271149-1502764803 -o /tmp/evaluation-result-4271149-1502764803/solver-4271149-1502764803 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502761355-25342 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 735586722 HOME/instance-4271149-1502764803.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 86261698a40453ca60d699c1ebc214eb RANDOM SEED=735586722 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: 31534168 kB MemAvailable: 31983348 kB Buffers: 175436 kB Cached: 559592 kB SwapCached: 0 kB Active: 544112 kB Inactive: 246648 kB Active(anon): 4552 kB Inactive(anon): 79420 kB Active(file): 539560 kB Inactive(file): 167228 kB Unevictable: 6188 kB Mlocked: 6188 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7908 kB Writeback: 12 kB AnonPages: 62408 kB Mapped: 45320 kB Shmem: 25224 kB Slab: 142732 kB SReclaimable: 116456 kB SUnreclaim: 26276 kB KernelStack: 3216 kB PageTables: 5032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323800 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= 61804 MiB End job on node115 at 2017-08-15 04:27:14