Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | UNSAT | 2678.3401 | 336.448 |
Name | SchurrLemma/SchurrLemma-mod-s1/ SchurrLemma-mod-100-9.xml |
MD5SUM | 4f03c112a8f6a228f13fa4574ba8a054 |
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 | 10.2859 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 2450 |
Number of domains | 1 |
Minimum domain size | 9 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":9,"count":100}] |
Minimum variable degree | 49 |
Maximum variable degree | 98 |
Distribution of variable degrees | [{"degree":49,"count":1},{"degree":50,"count":2},{"degree":51,"count":2},{"degree":52,"count":2},{"degree":53,"count":2},{"degree":54,"count":2},{"degree":55,"count":2},{"degree":56,"count":2},{"degree":57,"count":2},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":2},{"degree":61,"count":2},{"degree":62,"count":2},{"degree":63,"count":2},{"degree":64,"count":2},{"degree":65,"count":2},{"degree":66,"count":2},{"degree":67,"count":2},{"degree":68,"count":2},{"degree":69,"count":2},{"degree":70,"count":2},{"degree":71,"count":2},{"degree":72,"count":2},{"degree":73,"count":3},{"degree":74,"count":3},{"degree":75,"count":2},{"degree":76,"count":2},{"degree":77,"count":2},{"degree":78,"count":2},{"degree":79,"count":2},{"degree":80,"count":2},{"degree":81,"count":2},{"degree":82,"count":2},{"degree":83,"count":2},{"degree":84,"count":2},{"degree":85,"count":2},{"degree":86,"count":2},{"degree":87,"count":2},{"degree":88,"count":2},{"degree":89,"count":2},{"degree":90,"count":2},{"degree":91,"count":2},{"degree":92,"count":2},{"degree":93,"count":2},{"degree":94,"count":2},{"degree":95,"count":2},{"degree":96,"count":2},{"degree":97,"count":2},{"degree":98,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":2450}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"allDifferent","count":2450}] |
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-4271266-1502733908.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271266-1502733908.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.19 c 8 solvers in parallel 0.34/0.26 c parse instance... 4.31/1.20 c solve instance... 2678.06/336.43 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 (15249 MiB free) memory of node 1: 16384 MiB (15641 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271266-1502733908/watcher-4271266-1502733908 -o /tmp/evaluation-result-4271266-1502733908/solver-4271266-1502733908 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502725261-5733 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 67478080 HOME/instance-4271266-1502733908.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=6597, runsolver pid=6594 Current StackSize limit: 8192 KiB [startup+0.100139 s]* /proc/loadavg: 8.25 8.62 8.64 4/200 6618 /proc/meminfo: memFree=31618404/32770624 swapFree=67108860/67108860 [pid=6597] ppid=6594 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6597/stat : 6597 (xcsp3-exec) S 6594 6597 5706 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106478589 9740288 346 33554432000 4194304 5098028 140733508367296 140733508365400 139741989036668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33218560 140733508375654 140733508375863 140733508375863 140733508378603 0 /proc/6597/statm: 2378 346 289 221 0 87 0 [pid=6599] ppid=6597 vsize=25999808 memory=26420 CPUtime=0.12 cores=0-7 /proc/6599/stat : 6599 (java) S 6597 6597 5706 0 -1 1077944320 5489 0 0 0 11 1 0 0 20 0 20 0 106478590 26623803392 6605 33554432000 4194304 4196468 140733379059696 140733379042240 140311401926391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 /proc/6599/statm: 6499952 6605 2864 1 0 6488269 0 [pid=6599/tid=6600] ppid=6597 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/6599/task/6600/stat : 6600 (java) R 6597 6597 5706 0 -1 4202560 3480 0 0 0 9 0 0 0 20 0 20 0 106478590 26623803392 6605 33554432000 4194304 4196468 140733379059696 140311406155568 140311401938326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6601] ppid=6597 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/6599/task/6601/stat : 6601 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26623803392 6605 33554432000 4194304 4196468 140733379059696 140311354546448 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6602] ppid=6597 vsize=25999808 memory=139935680005760 CPUtime=0 cores=0-7 /proc/6599/task/6602/stat : 6602 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26623803392 6605 33554432000 4194304 4196468 140733379059696 140311353493904 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6603] ppid=6597 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6603/stat : 6603 (java) S 6597 6597 5706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106478591 26623803392 6605 33554432000 4194304 4196468 140733379059696 140311352441360 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6604] ppid=6597 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6604/stat : 6604 (java) S 6597 6597 5706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106478591 26623803392 6605 33554432000 4194304 4196468 140733379059696 140311351388816 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6605] ppid=6597 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6605/stat : 6605 (java) S 6597 6597 5706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106478591 26623803392 6605 33554432000 4194304 4196468 140733379059696 140311350336272 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6606] ppid=6597 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/6599/task/6606/stat : 6606 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26623803392 6605 33554432000 4194304 4196468 140733379059696 140311349283728 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6607] ppid=6597 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6607/stat : 6607 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26623803392 6605 33554432000 4194304 4196468 140733379059696 140311348231184 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6608] ppid=6597 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6608/stat : 6608 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26623803392 6605 33554432000 4194304 4196468 140733379059696 140310953196688 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6609] ppid=6597 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6609/stat : 6609 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478592 26623803392 6605 33554432000 4194304 4196468 140733379059696 140310143981552 140311401937538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6610] ppid=6597 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6610/stat : 6610 (java) S 6597 6597 5706 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 106478593 26623803392 6605 33554432000 4194304 4196468 140733379059696 140310142927776 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6611] ppid=6597 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6611/stat : 6611 (java) S 6597 6597 5706 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106478593 26623803392 6605 33554432000 4194304 4196468 140733379059696 140310141875184 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6612] ppid=6597 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6612/stat : 6612 (java) S 6597 6597 5706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106478595 26623803392 6605 33554432000 4194304 4196468 140733379059696 140310140823760 140311401944987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6613] ppid=6597 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6613/stat : 6613 (java) S 6597 6597 5706 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 106478595 26623803392 6605 33554432000 4194304 4196468 140733379059696 140309803559408 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6614] ppid=6597 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6614/stat : 6614 (java) S 6597 6597 5706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106478595 26623803392 6605 33554432000 4194304 4196468 140733379059696 140309802506864 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6615] ppid=6597 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6615/stat : 6615 (java) S 6597 6597 5706 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 106478595 26623803392 6605 33554432000 4194304 4196468 140733379059696 140309801454320 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6616] ppid=6597 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/6599/task/6616/stat : 6616 (java) R 6597 6597 5706 0 -1 4202560 275 0 0 0 1 0 0 0 20 0 20 0 106478595 26623803392 6605 33554432000 4194304 4196468 140733379059696 140309800401776 140311385300291 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6617] ppid=6597 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6617/stat : 6617 (java) S 6597 6597 5706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106478595 26623803392 6605 33554432000 4194304 4196468 140733379059696 140309799348448 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6618] ppid=6597 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/6599/task/6618/stat : 6618 (java) S 6597 6597 5706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106478596 26623803392 6605 33554432000 4194304 4196468 140733379059696 140309798295984 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27804 KiB [startup+0.210222 s]* /proc/loadavg: 8.25 8.62 8.64 2/200 6618 /proc/meminfo: memFree=31606744/32770624 swapFree=67108860/67108860 [pid=6597] ppid=6594 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6597/stat : 6597 (xcsp3-exec) S 6594 6597 5706 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106478589 9740288 346 33554432000 4194304 5098028 140733508367296 140733508365400 139741989036668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33218560 140733508375654 140733508375863 140733508375863 140733508378603 0 /proc/6597/statm: 2378 346 289 221 0 87 0 [pid=6599] ppid=6597 vsize=26004064 memory=39380 CPUtime=0.34 cores=0-7 /proc/6599/stat : 6599 (java) S 6597 6597 5706 0 -1 1077944320 8353 0 0 0 32 2 0 0 20 0 20 0 106478590 26628161536 9845 33554432000 4194304 4196468 140733379059696 140733379042240 140311401926391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 /proc/6599/statm: 6501016 9845 3076 1 0 6488269 0 [pid=6599/tid=6600] ppid=6597 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/6599/task/6600/stat : 6600 (java) D 6597 6597 5706 0 -1 1077944384 5411 0 0 0 19 0 0 0 20 0 20 0 106478590 26628161536 9865 33554432000 4194304 4196468 140733379059696 140311406128112 140311394605613 0 4 0 16800975 18446744072101625380 0 0 -1 2 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6601] ppid=6597 vsize=26004064 memory=329 CPUtime=0 cores=0-7 /proc/6599/task/6601/stat : 6601 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26628161536 9865 33554432000 4194304 4196468 140733379059696 140311354546448 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6602] ppid=6597 vsize=26004064 memory=139935680013320 CPUtime=0 cores=0-7 /proc/6599/task/6602/stat : 6602 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26628161536 9865 33554432000 4194304 4196468 140733379059696 140311353493904 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6603] ppid=6597 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/6599/task/6603/stat : 6603 (java) S 6597 6597 5706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106478591 26628161536 9865 33554432000 4194304 4196468 140733379059696 140311352441360 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6604] ppid=6597 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6604/stat : 6604 (java) S 6597 6597 5706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106478591 26628194304 9865 33554432000 4194304 4196468 140733379059696 140311351388816 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6605] ppid=6597 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6605/stat : 6605 (java) S 6597 6597 5706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106478591 26628194304 9865 33554432000 4194304 4196468 140733379059696 140311350336272 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6606] ppid=6597 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/6599/task/6606/stat : 6606 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26628194304 9865 33554432000 4194304 4196468 140733379059696 140311349283728 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6607] ppid=6597 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6607/stat : 6607 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26628161536 9865 33554432000 4194304 4196468 140733379059696 140311348231184 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6608] ppid=6597 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6608/stat : 6608 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26628161536 9865 33554432000 4194304 4196468 140733379059696 140310953196688 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6609] ppid=6597 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6609/stat : 6609 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478592 26628161536 9865 33554432000 4194304 4196468 140733379059696 140310143981552 140311401937538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6610] ppid=6597 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6610/stat : 6610 (java) S 6597 6597 5706 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 106478593 26628161536 9865 33554432000 4194304 4196468 140733379059696 140310142927776 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6611] ppid=6597 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6611/stat : 6611 (java) S 6597 6597 5706 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106478593 26628161536 9865 33554432000 4194304 4196468 140733379059696 140310141875184 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6612] ppid=6597 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6612/stat : 6612 (java) S 6597 6597 5706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106478595 26628161536 9865 33554432000 4194304 4196468 140733379059696 140310140823760 140311401944987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6613] ppid=6597 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7 /proc/6599/task/6613/stat : 6613 (java) S 6597 6597 5706 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 20 0 106478595 26628194304 9865 33554432000 4194304 4196468 140733379059696 140309803559408 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6614] ppid=6597 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7 /proc/6599/task/6614/stat : 6614 (java) S 6597 6597 5706 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 20 0 106478595 26628194304 9865 33554432000 4194304 4196468 140733379059696 140309802506864 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6615] ppid=6597 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/6599/task/6615/stat : 6615 (java) S 6597 6597 5706 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 20 0 106478595 26628161536 9865 33554432000 4194304 4196468 140733379059696 140309801454320 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6616] ppid=6597 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/6599/task/6616/stat : 6616 (java) S 6597 6597 5706 0 -1 1077944384 746 0 0 0 7 0 0 0 20 0 20 0 106478595 26628161536 9865 33554432000 4194304 4196468 140733379059696 140309800401776 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6617] ppid=6597 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6617/stat : 6617 (java) S 6597 6597 5706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106478595 26628161536 9865 33554432000 4194304 4196468 140733379059696 140309799348448 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6618] ppid=6597 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/6599/task/6618/stat : 6618 (java) S 6597 6597 5706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106478596 26628161536 9865 33554432000 4194304 4196468 140733379059696 140309798295984 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40764 KiB [startup+0.309609 s]* /proc/loadavg: 8.25 8.62 8.64 3/200 6618 /proc/meminfo: memFree=31601704/32770624 swapFree=67108860/67108860 [pid=6597] ppid=6594 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6597/stat : 6597 (xcsp3-exec) S 6594 6597 5706 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106478589 9740288 346 33554432000 4194304 5098028 140733508367296 140733508365400 139741989036668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33218560 140733508375654 140733508375863 140733508375863 140733508378603 0 /proc/6597/statm: 2378 346 289 221 0 87 0 [pid=6599] ppid=6597 vsize=26004064 memory=44044 CPUtime=0.5 cores=0-7 /proc/6599/stat : 6599 (java) S 6597 6597 5706 0 -1 1077944320 9263 0 0 0 48 2 0 0 20 0 20 0 106478590 26628161536 11011 33554432000 4194304 4196468 140733379059696 140733379042240 140311401926391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 /proc/6599/statm: 6501016 11011 3093 1 0 6488269 0 [pid=6599/tid=6600] ppid=6597 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/6599/task/6600/stat : 6600 (java) R 6597 6597 5706 0 -1 4202560 6074 0 0 0 28 1 0 0 20 0 20 0 106478590 26628161536 11011 33554432000 4194304 4196468 140733379059696 140311406165184 140311030379857 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6601] ppid=6597 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6601/stat : 6601 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26628161536 11077 33554432000 4194304 4196468 140733379059696 140311354546448 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6602] ppid=6597 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6602/stat : 6602 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26628161536 11077 33554432000 4194304 4196468 140733379059696 140311353493904 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6603] ppid=6597 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6603/stat : 6603 (java) S 6597 6597 5706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106478591 26628161536 11077 33554432000 4194304 4196468 140733379059696 140311352441360 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6604] ppid=6597 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6604/stat : 6604 (java) S 6597 6597 5706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106478591 26628161536 11077 33554432000 4194304 4196468 140733379059696 140311351388816 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6605] ppid=6597 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/6599/task/6605/stat : 6605 (java) S 6597 6597 5706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106478591 26628161536 11077 33554432000 4194304 4196468 140733379059696 140311350336272 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6606] ppid=6597 vsize=26004064 memory=139935537525679 CPUtime=0 cores=0-7 /proc/6599/task/6606/stat : 6606 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26628161536 11077 33554432000 4194304 4196468 140733379059696 140311349283728 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6607] ppid=6597 vsize=26004064 memory=139935537527984 CPUtime=0 cores=0-7 /proc/6599/task/6607/stat : 6607 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26628161536 11077 33554432000 4194304 4196468 140733379059696 140311348231184 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6608] ppid=6597 vsize=26004064 memory=139935537530288 CPUtime=0 cores=0-7 /proc/6599/task/6608/stat : 6608 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26628161536 11077 33554432000 4194304 4196468 140733379059696 140310953196688 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6609] ppid=6597 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6609/stat : 6609 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478592 26628161536 11077 33554432000 4194304 4196468 140733379059696 140310143981552 140311401937538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6610] ppid=6597 vsize=26004064 memory=279871075067536 CPUtime=0 cores=0-7 /proc/6599/task/6610/stat : 6610 (java) S 6597 6597 5706 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 106478593 26628161536 11077 33554432000 4194304 4196468 140733379059696 140310142927776 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6611] ppid=6597 vsize=26004064 memory=279871075074448 CPUtime=0 cores=0-7 /proc/6599/task/6611/stat : 6611 (java) S 6597 6597 5706 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106478593 26628161536 11077 33554432000 4194304 4196468 140733379059696 140310141875184 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6612] ppid=6597 vsize=26004064 memory=279871075015728 CPUtime=0 cores=0-7 /proc/6599/task/6612/stat : 6612 (java) S 6597 6597 5706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106478595 26628161536 11077 33554432000 4194304 4196468 140733379059696 140310140823760 140311401944987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6613] ppid=6597 vsize=26004064 memory=279871075088272 CPUtime=0.02 cores=0-7 /proc/6599/task/6613/stat : 6613 (java) S 6597 6597 5706 0 -1 1077944384 435 0 0 0 2 0 0 0 20 0 20 0 106478595 26628161536 11077 33554432000 4194304 4196468 140733379059696 140309803559408 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6614] ppid=6597 vsize=26004064 memory=279871075095184 CPUtime=0.02 cores=0-7 /proc/6599/task/6614/stat : 6614 (java) S 6597 6597 5706 0 -1 1077944384 187 0 0 0 2 0 0 0 20 0 20 0 106478595 26628161536 11077 33554432000 4194304 4196468 140733379059696 140309802506864 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6615] ppid=6597 vsize=26004064 memory=279871075092880 CPUtime=0.02 cores=0-7 /proc/6599/task/6615/stat : 6615 (java) S 6597 6597 5706 0 -1 1077944384 400 0 0 0 2 0 0 0 20 0 20 0 106478595 26628161536 11077 33554432000 4194304 4196468 140733379059696 140309801454320 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6616] ppid=6597 vsize=26004064 memory=279871075109040 CPUtime=0.12 cores=0-7 /proc/6599/task/6616/stat : 6616 (java) R 6597 6597 5706 0 -1 4202560 860 0 0 0 12 0 0 0 20 0 20 0 106478595 26628161536 11077 33554432000 4194304 4196468 140733379059696 140309800398144 140311395032865 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6617] ppid=6597 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6617/stat : 6617 (java) S 6597 6597 5706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106478595 26628161536 11077 33554432000 4194304 4196468 140733379059696 140309799348448 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6618] ppid=6597 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/6599/task/6618/stat : 6618 (java) S 6597 6597 5706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106478596 26628161536 11077 33554432000 4194304 4196468 140733379059696 140309798295984 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45428 KiB [startup+0.700906 s] /proc/loadavg: 8.25 8.62 8.64 5/200 6618 /proc/meminfo: memFree=31575772/32770624 swapFree=67108860/67108860 [pid=6597] ppid=6594 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6597/stat : 6597 (xcsp3-exec) S 6594 6597 5706 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106478589 9740288 346 33554432000 4194304 5098028 140733508367296 140733508365400 139741989036668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33218560 140733508375654 140733508375863 140733508375863 140733508378603 0 /proc/6597/statm: 2378 346 289 221 0 87 0 [pid=6599] ppid=6597 vsize=26006188 memory=109248 CPUtime=1.98 cores=0-7 /proc/6599/stat : 6599 (java) S 6597 6597 5706 0 -1 1077944320 13449 0 0 0 193 5 0 0 20 0 20 0 106478590 26630336512 27312 33554432000 4194304 4196468 140733379059696 140733379042240 140311401926391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 /proc/6599/statm: 6501547 27312 3203 1 0 6488781 0 [pid=6599/tid=6600] ppid=6597 vsize=26006188 memory=279871075466928 CPUtime=0.67 cores=0-7 /proc/6599/task/6600/stat : 6600 (java) R 6597 6597 5706 0 -1 4202560 6734 0 0 0 64 3 0 0 20 0 20 0 106478590 26630336512 27312 33554432000 4194304 4196468 140733379059696 140311406147408 140311031362201 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6601] ppid=6597 vsize=26006188 memory=139935537734512 CPUtime=0 cores=0-7 /proc/6599/task/6601/stat : 6601 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26630336512 27312 33554432000 4194304 4196468 140733379059696 140311354546448 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6602] ppid=6597 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/6599/task/6602/stat : 6602 (java) S 6597 6597 5706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106478591 26630336512 27312 33554432000 4194304 4196468 140733379059696 140311353493904 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6603] ppid=6597 vsize=26006188 memory=1004 CPUtime=0 cores=0-7 /proc/6599/task/6603/stat : 6603 (java) S 6597 6597 5706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106478591 26630336512 27312 33554432000 4194304 4196468 140733379059696 140311352441360 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 ################ # More data... # ################ [pid=6599/tid=6616] ppid=6597 vsize=26538700 memory=8112282956445269571 CPUtime=0.69 cores=0-7 /proc/6599/task/6616/stat : 6616 (java) S 6597 6597 5706 0 -1 1077944384 9088 0 0 0 67 2 0 0 20 0 28 0 106478595 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309800401776 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6617] ppid=6597 vsize=26538700 memory=9864 CPUtime=0 cores=0-7 /proc/6599/task/6617/stat : 6617 (java) S 6597 6597 5706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106478595 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309799348448 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6618] ppid=6597 vsize=26538700 memory=10029 CPUtime=0.14 cores=0-7 /proc/6599/task/6618/stat : 6618 (java) S 6597 6597 5706 0 -1 1077944384 1250 0 0 0 0 14 0 0 20 0 28 0 106478596 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309798295984 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6619] ppid=6597 vsize=26538700 memory=10061 CPUtime=329.63 cores=0-7 /proc/6599/task/6619/stat : 6619 (java) R 6597 6597 5706 0 -1 4202560 1502 0 0 0 32962 1 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309790780600 140311035023854 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6620] ppid=6597 vsize=26538700 memory=10067 CPUtime=333.07 cores=0-7 /proc/6599/task/6620/stat : 6620 (java) R 6597 6597 5706 0 -1 4202560 1294 0 0 0 33306 1 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309789728792 140311034571668 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6621] ppid=6597 vsize=26538700 memory=22860 CPUtime=332.98 cores=0-7 /proc/6599/task/6621/stat : 6621 (java) R 6597 6597 5706 0 -1 4202560 8346 0 0 0 33284 14 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309788676344 140311036666240 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6622] ppid=6597 vsize=26538700 memory=33028 CPUtime=333.3 cores=0-7 /proc/6599/task/6622/stat : 6622 (java) R 6597 6597 5706 0 -1 4202560 2749 0 0 0 33329 1 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309787623728 140311035673274 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6623] ppid=6597 vsize=26538700 memory=30500 CPUtime=331.34 cores=0-7 /proc/6599/task/6623/stat : 6623 (java) R 6597 6597 5706 0 -1 4202560 3917 0 0 0 33130 4 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309786571160 140311035578043 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6624] ppid=6597 vsize=26538700 memory=2332 CPUtime=333.03 cores=0-7 /proc/6599/task/6624/stat : 6624 (java) R 6597 6597 5706 0 -1 4202560 4566 0 0 0 33298 5 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309785518792 140311035673074 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6625] ppid=6597 vsize=26538700 memory=1292 CPUtime=332.11 cores=0-7 /proc/6599/task/6625/stat : 6625 (java) R 6597 6597 5706 0 -1 4202560 1670 0 0 0 33211 0 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309784465320 140311035578382 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6626] ppid=6597 vsize=26538700 memory=960 CPUtime=333.36 cores=0-7 /proc/6599/task/6626/stat : 6626 (java) R 6597 6597 5706 0 -1 4202560 7130 0 0 0 33335 1 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309783412504 140311035070564 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 Current children cumulated CPU time: 2668.48 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 736972 KiB [startup+336.002 s]* /proc/loadavg: 8.08 8.45 8.59 9/207 6627 /proc/meminfo: memFree=30914932/32770624 swapFree=67108860/67108860 [pid=6597] ppid=6594 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6597/stat : 6597 (xcsp3-exec) S 6594 6597 5706 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106478589 9740288 346 33554432000 4194304 5098028 140733508367296 140733508365400 139741989036668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33218560 140733508375654 140733508375863 140733508375863 140733508378603 0 /proc/6597/statm: 2378 346 289 221 0 87 0 [pid=6599] ppid=6597 vsize=26538700 memory=735588 CPUtime=2674.93 cores=0-7 /proc/6599/stat : 6599 (java) S 6597 6597 5706 0 -1 1077944320 88832 0 0 0 267408 85 0 0 20 0 28 0 106478590 27175628800 183897 33554432000 4194304 4196468 140733379059696 140733379042240 140311401926391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 /proc/6599/statm: 6634675 183897 3270 1 0 6621909 0 [pid=6599/tid=6600] ppid=6597 vsize=26538700 memory=1236 CPUtime=1.05 cores=0-7 /proc/6599/task/6600/stat : 6600 (java) S 6597 6597 5706 0 -1 1077944384 6870 0 0 0 101 4 0 0 20 0 28 0 106478590 27175628800 183897 33554432000 4194304 4196468 140733379059696 140311406167168 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6601] ppid=6597 vsize=26538700 memory=735588 CPUtime=0.18 cores=0-7 /proc/6599/task/6601/stat : 6601 (java) S 6597 6597 5706 0 -1 1077944384 458 0 0 0 14 4 0 0 20 0 28 0 106478591 27175628800 183897 33554432000 4194304 4196468 140733379059696 140311354546448 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6602] ppid=6597 vsize=26538700 memory=2340 CPUtime=0.18 cores=0-7 /proc/6599/task/6602/stat : 6602 (java) S 6597 6597 5706 0 -1 1077944384 245 0 0 0 13 5 0 0 20 0 28 0 106478591 27175628800 183897 33554432000 4194304 4196468 140733379059696 140311353493904 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6603] ppid=6597 vsize=26538700 memory=4126316290023845779 CPUtime=0.13 cores=0-7 /proc/6599/task/6603/stat : 6603 (java) S 6597 6597 5706 0 -1 1077944384 376 0 0 0 9 4 0 0 20 0 28 0 106478591 27175628800 183897 33554432000 4194304 4196468 140733379059696 140311352441360 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6604] ppid=6597 vsize=26538700 memory=10020 CPUtime=0.17 cores=0-7 /proc/6599/task/6604/stat : 6604 (java) S 6597 6597 5706 0 -1 1077944384 252 0 0 0 13 4 0 0 20 0 28 0 106478591 27175628800 183897 33554432000 4194304 4196468 140733379059696 140311351388816 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6605] ppid=6597 vsize=26538700 memory=1948 CPUtime=0.17 cores=0-7 /proc/6599/task/6605/stat : 6605 (java) S 6597 6597 5706 0 -1 1077944384 257 0 0 0 13 4 0 0 20 0 28 0 106478591 27175628800 183897 33554432000 4194304 4196468 140733379059696 140311350336272 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6606] ppid=6597 vsize=26538700 memory=8536 CPUtime=0.18 cores=0-7 /proc/6599/task/6606/stat : 6606 (java) S 6597 6597 5706 0 -1 1077944384 139 0 0 0 13 5 0 0 20 0 28 0 106478591 27175628800 183897 33554432000 4194304 4196468 140733379059696 140311349283728 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6607] ppid=6597 vsize=26538700 memory=4616 CPUtime=0.18 cores=0-7 /proc/6599/task/6607/stat : 6607 (java) S 6597 6597 5706 0 -1 1077944384 147 0 0 0 14 4 0 0 20 0 28 0 106478591 27175628800 183897 33554432000 4194304 4196468 140733379059696 140311348231184 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6608] ppid=6597 vsize=26538700 memory=1720 CPUtime=0.13 cores=0-7 /proc/6599/task/6608/stat : 6608 (java) S 6597 6597 5706 0 -1 1077944384 2072 0 0 0 10 3 0 0 20 0 28 0 106478591 27175628800 183897 33554432000 4194304 4196468 140733379059696 140310953196688 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6609] ppid=6597 vsize=26538700 memory=836 CPUtime=0.02 cores=0-7 /proc/6599/task/6609/stat : 6609 (java) S 6597 6597 5706 0 -1 1077944384 2276 0 0 0 2 0 0 0 20 0 28 0 106478592 27175628800 183897 33554432000 4194304 4196468 140733379059696 140310143981552 140311401937538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6610] ppid=6597 vsize=26538700 memory=1692 CPUtime=0 cores=0-7 /proc/6599/task/6610/stat : 6610 (java) S 6597 6597 5706 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 106478593 27175628800 183897 33554432000 4194304 4196468 140733379059696 140310142927840 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6611] ppid=6597 vsize=26538700 memory=916 CPUtime=0 cores=0-7 /proc/6599/task/6611/stat : 6611 (java) S 6597 6597 5706 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 106478593 27175628800 183897 33554432000 4194304 4196468 140733379059696 140310141875200 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6612] ppid=6597 vsize=26538700 memory=4216 CPUtime=0 cores=0-7 /proc/6599/task/6612/stat : 6612 (java) S 6597 6597 5706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 106478595 27175628800 183897 33554432000 4194304 4196468 140733379059696 140310140823760 140311401944987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6613] ppid=6597 vsize=26538700 memory=4104 CPUtime=2.2 cores=0-7 /proc/6599/task/6613/stat : 6613 (java) S 6597 6597 5706 0 -1 1077944384 13241 0 0 0 217 3 0 0 20 0 28 0 106478595 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309803559408 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6614] ppid=6597 vsize=26538700 memory=1152 CPUtime=2.04 cores=0-7 /proc/6599/task/6614/stat : 6614 (java) S 6597 6597 5706 0 -1 1077944384 10527 0 0 0 201 3 0 0 20 0 28 0 106478595 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309802506864 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6615] ppid=6597 vsize=26538700 memory=3704 CPUtime=1.99 cores=0-7 /proc/6599/task/6615/stat : 6615 (java) S 6597 6597 5706 0 -1 1077944384 9151 0 0 0 196 3 0 0 20 0 28 0 106478595 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309801454320 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6616] ppid=6597 vsize=26538700 memory=8112282956445269571 CPUtime=0.69 cores=0-7 /proc/6599/task/6616/stat : 6616 (java) S 6597 6597 5706 0 -1 1077944384 9088 0 0 0 67 2 0 0 20 0 28 0 106478595 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309800401776 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6617] ppid=6597 vsize=26538700 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/6599/task/6617/stat : 6617 (java) S 6597 6597 5706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106478595 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309799348448 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6618] ppid=6597 vsize=26538700 memory=10020 CPUtime=0.14 cores=0-7 /proc/6599/task/6618/stat : 6618 (java) S 6597 6597 5706 0 -1 1077944384 1250 0 0 0 0 14 0 0 20 0 28 0 106478596 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309798295984 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6619] ppid=6597 vsize=26538700 memory=1948 CPUtime=330.42 cores=0-7 /proc/6599/task/6619/stat : 6619 (java) R 6597 6597 5706 0 -1 4202560 1502 0 0 0 33041 1 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309790780600 140311034572777 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6620] ppid=6597 vsize=26538700 memory=8536 CPUtime=333.88 cores=0-7 /proc/6599/task/6620/stat : 6620 (java) R 6597 6597 5706 0 -1 4202560 1294 0 0 0 33387 1 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309789728792 140311035673074 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6621] ppid=6597 vsize=26538700 memory=4616 CPUtime=333.79 cores=0-7 /proc/6599/task/6621/stat : 6621 (java) R 6597 6597 5706 0 -1 4202560 8354 0 0 0 33365 14 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309788676344 140311034573112 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6622] ppid=6597 vsize=26538700 memory=1720 CPUtime=334.11 cores=0-7 /proc/6599/task/6622/stat : 6622 (java) R 6597 6597 5706 0 -1 4202560 2750 0 0 0 33410 1 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309787623728 140311035577945 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6623] ppid=6597 vsize=26538700 memory=1004 CPUtime=332.15 cores=0-7 /proc/6599/task/6623/stat : 6623 (java) R 6597 6597 5706 0 -1 4202560 3917 0 0 0 33211 4 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309786571160 140311035673074 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6624] ppid=6597 vsize=26538700 memory=2340 CPUtime=333.83 cores=0-7 /proc/6599/task/6624/stat : 6624 (java) R 6597 6597 5706 0 -1 4202560 4566 0 0 0 33378 5 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309785518792 140311034571858 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6625] ppid=6597 vsize=26538700 memory=2236 CPUtime=332.92 cores=0-7 /proc/6599/task/6625/stat : 6625 (java) R 6597 6597 5706 0 -1 4202560 1670 0 0 0 33292 0 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309784465320 140311035673274 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6626] ppid=6597 vsize=26538700 memory=4084 CPUtime=334.17 cores=0-7 /proc/6599/task/6626/stat : 6626 (java) R 6597 6597 5706 0 -1 4202560 7130 0 0 0 33416 1 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309783412504 140311034153875 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 Current children cumulated CPU time: 2674.93 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 736972 KiB [startup+336.402 s] /proc/loadavg: 8.08 8.45 8.59 9/207 6627 /proc/meminfo: memFree=30914932/32770624 swapFree=67108860/67108860 [pid=6597] ppid=6594 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6597/stat : 6597 (xcsp3-exec) S 6594 6597 5706 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 106478589 9740288 346 33554432000 4194304 5098028 140733508367296 140733508365400 139741989036668 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33218560 140733508375654 140733508375863 140733508375863 140733508378603 0 /proc/6597/statm: 2378 346 289 221 0 87 0 [pid=6599] ppid=6597 vsize=26538700 memory=735588 CPUtime=2678.06 cores=0-7 /proc/6599/stat : 6599 (java) S 6597 6597 5706 0 -1 1077944320 88832 0 0 0 267721 85 0 0 20 0 28 0 106478590 27175628800 183897 33554432000 4194304 4196468 140733379059696 140733379042240 140311401926391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 /proc/6599/statm: 6634675 183897 3270 1 0 6621909 0 [pid=6599/tid=6600] ppid=6597 vsize=26538700 memory=4084 CPUtime=1.05 cores=0-7 /proc/6599/task/6600/stat : 6600 (java) S 6597 6597 5706 0 -1 1077944384 6870 0 0 0 101 4 0 0 20 0 28 0 106478590 27175628800 183897 33554432000 4194304 4196468 140733379059696 140311406167168 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6601] ppid=6597 vsize=26538700 memory=932 CPUtime=0.18 cores=0-7 /proc/6599/task/6601/stat : 6601 (java) S 6597 6597 5706 0 -1 1077944384 458 0 0 0 14 4 0 0 20 0 28 0 106478591 27175628800 183897 33554432000 4194304 4196468 140733379059696 140311354546448 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6602] ppid=6597 vsize=26538700 memory=1572 CPUtime=0.18 cores=0-7 /proc/6599/task/6602/stat : 6602 (java) S 6597 6597 5706 0 -1 1077944384 245 0 0 0 13 5 0 0 20 0 28 0 106478591 27175628800 183897 33554432000 4194304 4196468 140733379059696 140311353493904 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6603] ppid=6597 vsize=26538700 memory=2200 CPUtime=0.13 cores=0-7 /proc/6599/task/6603/stat : 6603 (java) S 6597 6597 5706 0 -1 1077944384 376 0 0 0 9 4 0 0 20 0 28 0 106478591 27175628800 183897 33554432000 4194304 4196468 140733379059696 140311352441360 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6604] ppid=6597 vsize=26538700 memory=6504 CPUtime=0.17 cores=0-7 /proc/6599/task/6604/stat : 6604 (java) S 6597 6597 5706 0 -1 1077944384 252 0 0 0 13 4 0 0 20 0 28 0 106478591 27175628800 183897 33554432000 4194304 4196468 140733379059696 140311351388816 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6605] ppid=6597 vsize=26538700 memory=836 CPUtime=0.17 cores=0-7 /proc/6599/task/6605/stat : 6605 (java) S 6597 6597 5706 0 -1 1077944384 257 0 0 0 13 4 0 0 20 0 28 0 106478591 27175628800 183897 33554432000 4194304 4196468 140733379059696 140311350336272 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6606] ppid=6597 vsize=26538700 memory=1692 CPUtime=0.18 cores=0-7 /proc/6599/task/6606/stat : 6606 (java) S 6597 6597 5706 0 -1 1077944384 139 0 0 0 13 5 0 0 20 0 28 0 106478591 27175628800 183897 33554432000 4194304 4196468 140733379059696 140311349283728 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6607] ppid=6597 vsize=26538700 memory=916 CPUtime=0.18 cores=0-7 /proc/6599/task/6607/stat : 6607 (java) S 6597 6597 5706 0 -1 1077944384 147 0 0 0 14 4 0 0 20 0 28 0 106478591 27175628800 183897 33554432000 4194304 4196468 140733379059696 140311348231184 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6608] ppid=6597 vsize=26538700 memory=4216 CPUtime=0.13 cores=0-7 /proc/6599/task/6608/stat : 6608 (java) S 6597 6597 5706 0 -1 1077944384 2072 0 0 0 10 3 0 0 20 0 28 0 106478591 27175628800 183897 33554432000 4194304 4196468 140733379059696 140310953196688 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6609] ppid=6597 vsize=26538700 memory=4104 CPUtime=0.02 cores=0-7 /proc/6599/task/6609/stat : 6609 (java) S 6597 6597 5706 0 -1 1077944384 2276 0 0 0 2 0 0 0 20 0 28 0 106478592 27175628800 183897 33554432000 4194304 4196468 140733379059696 140310143981552 140311401937538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6610] ppid=6597 vsize=26538700 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/6599/task/6610/stat : 6610 (java) S 6597 6597 5706 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 106478593 27175628800 183897 33554432000 4194304 4196468 140733379059696 140310142927840 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6611] ppid=6597 vsize=26538700 memory=13852958290872725 CPUtime=0 cores=0-7 /proc/6599/task/6611/stat : 6611 (java) S 6597 6597 5706 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 106478593 27175628800 183897 33554432000 4194304 4196468 140733379059696 140310141875200 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6612] ppid=6597 vsize=26538700 memory=17820 CPUtime=0 cores=0-7 /proc/6599/task/6612/stat : 6612 (java) S 6597 6597 5706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 106478595 27175628800 183897 33554432000 4194304 4196468 140733379059696 140310140823760 140311401944987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6613] ppid=6597 vsize=26538700 memory=18292 CPUtime=2.2 cores=0-7 /proc/6599/task/6613/stat : 6613 (java) S 6597 6597 5706 0 -1 1077944384 13241 0 0 0 217 3 0 0 20 0 28 0 106478595 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309803559408 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6614] ppid=6597 vsize=26538700 memory=735588 CPUtime=2.04 cores=0-7 /proc/6599/task/6614/stat : 6614 (java) S 6597 6597 5706 0 -1 1077944384 10527 0 0 0 201 3 0 0 20 0 28 0 106478595 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309802506864 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6615] ppid=6597 vsize=26538700 memory=8112282956445269571 CPUtime=1.99 cores=0-7 /proc/6599/task/6615/stat : 6615 (java) S 6597 6597 5706 0 -1 1077944384 9151 0 0 0 196 3 0 0 20 0 28 0 106478595 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309801454320 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6616] ppid=6597 vsize=26538700 memory=4126316290023845779 CPUtime=0.69 cores=0-7 /proc/6599/task/6616/stat : 6616 (java) S 6597 6597 5706 0 -1 1077944384 9088 0 0 0 67 2 0 0 20 0 28 0 106478595 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309800401776 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6617] ppid=6597 vsize=26538700 memory=1236 CPUtime=0 cores=0-7 /proc/6599/task/6617/stat : 6617 (java) S 6597 6597 5706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106478595 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309799348448 140311401936597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6618] ppid=6597 vsize=26538700 memory=1384 CPUtime=0.14 cores=0-7 /proc/6599/task/6618/stat : 6618 (java) S 6597 6597 5706 0 -1 1077944384 1250 0 0 0 0 14 0 0 20 0 28 0 106478596 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309798295984 140311401937538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6619] ppid=6597 vsize=26538700 memory=735588 CPUtime=330.8 cores=0-7 /proc/6599/task/6619/stat : 6619 (java) R 6597 6597 5706 0 -1 4202560 1502 0 0 0 33079 1 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309790780600 140311035673074 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6620] ppid=6597 vsize=26538700 memory=735588 CPUtime=334.27 cores=0-7 /proc/6599/task/6620/stat : 6620 (java) R 6597 6597 5706 0 -1 4202560 1294 0 0 0 33426 1 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309789728792 140311035673274 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6621] ppid=6597 vsize=26538700 memory=8514726395714825349 CPUtime=334.18 cores=0-7 /proc/6599/task/6621/stat : 6621 (java) R 6597 6597 5706 0 -1 4202560 8354 0 0 0 33404 14 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309788676344 140311035637908 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6622] ppid=6597 vsize=26538700 memory=7308608070830417771 CPUtime=334.5 cores=0-7 /proc/6599/task/6622/stat : 6622 (java) R 6597 6597 5706 0 -1 4202560 2750 0 0 0 33449 1 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309787623728 140311035673074 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6623] ppid=6597 vsize=26538700 memory=1152 CPUtime=332.54 cores=0-7 /proc/6599/task/6623/stat : 6623 (java) R 6597 6597 5706 0 -1 4202560 3917 0 0 0 33250 4 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309786571160 140311035673074 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6624] ppid=6597 vsize=26538700 memory=3704 CPUtime=334.23 cores=0-7 /proc/6599/task/6624/stat : 6624 (java) R 6597 6597 5706 0 -1 4202560 4566 0 0 0 33418 5 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309785518792 140311034957848 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6625] ppid=6597 vsize=26538700 memory=1384 CPUtime=333.32 cores=0-7 /proc/6599/task/6625/stat : 6625 (java) R 6597 6597 5706 0 -1 4202560 1670 0 0 0 33332 0 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309784465320 140311035309775 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 [pid=6599/tid=6626] ppid=6597 vsize=26538700 memory=735588 CPUtime=334.56 cores=0-7 /proc/6599/task/6626/stat : 6626 (java) R 6597 6597 5706 0 -1 4202560 7130 0 0 0 33455 1 0 0 20 0 28 0 106478711 27175628800 183897 33554432000 4194304 4196468 140733379059696 140309783412504 140311034572716 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13959168 140733379064978 140733379065155 140733379065155 140733379067855 0 Current children cumulated CPU time: 2678.06 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 736972 KiB Child status: 0 Real time (s): 336.448 CPU time (s): 2678.34 CPU user time (s): 2677.47 CPU system time (s): 0.870858 CPU usage (%): 796.064 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 736972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2677.47 system time used= 0.870858 maximum resident set size= 735660 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 90232 page faults= 0 swaps= 0 block input operations= 0 block output operations= 544 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12040 involuntary context switches= 27996 # summary of solver processes directly reported to runsolver: # pid: 6597 # total CPU time (s): 2678.34 # total CPU user time (s): 2677.47 # total CPU system time (s): 0.870858 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.24983 second user time and 4.73363 second system time The end
Begin job on node112 at 2017-08-14 19:50:49 IDJOB=4271266 IDBENCH=126890 IDSOLVER=2662 FILE ID=node112/4271266-1502733908 RUNJOBID= node112-1502725261-5733 PBS_JOBID= 20629043 Free space on /tmp= 61788 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-mod-100-9.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-4271266-1502733908/watcher-4271266-1502733908 -o /tmp/evaluation-result-4271266-1502733908/solver-4271266-1502733908 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502725261-5733 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 67478080 HOME/instance-4271266-1502733908.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4f03c112a8f6a228f13fa4574ba8a054 RANDOM SEED=67478080 node112.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.24 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.24 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.24 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.24 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: 31634048 kB MemAvailable: 31978312 kB Buffers: 175992 kB Cached: 447080 kB SwapCached: 0 kB Active: 463304 kB Inactive: 211880 kB Active(anon): 3568 kB Inactive(anon): 76444 kB Active(file): 459736 kB Inactive(file): 135436 kB Unevictable: 6276 kB Mlocked: 6276 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7928 kB Writeback: 0 kB AnonPages: 58668 kB Mapped: 44756 kB Shmem: 25224 kB Slab: 156120 kB SReclaimable: 129856 kB SUnreclaim: 26264 kB KernelStack: 3152 kB PageTables: 4556 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323344 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61780 MiB End job on node112 at 2017-08-14 19:56:26