Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 7 | 54.9398 | 7.89669 |
Name | PeacableArmies/ PeacableArmies-m2-07_c18.xml |
MD5SUM | d533abf730bec48b9e0ac1943d19d6b7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 9.62179 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 51 |
Number of constraints | 479 |
Number of domains | 2 |
Minimum domain size | 3 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":3,"count":49},{"size":24,"count":2}] |
Minimum variable degree | 2 |
Maximum variable degree | 26 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":1},{"degree":20,"count":24},{"degree":22,"count":16},{"degree":24,"count":8},{"degree":26,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":2,"count":477},{"arity":50,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 477 |
Distribution of constraint types | [{"type":"intension","count":477},{"type":"count","count":2}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399868-1568718221.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399868-1568718221.xml, -tl, 20160s, -p, 8] 0.34/0.23 c 8 solvers in parallel 0.34/0.29 c parse instance... 3.30/1.12 c solve instance... 3.30/1.15 o 4 3.30/1.16 o 6 3.85/1.25 o 7 54.25/7.88 s OPTIMUM FOUND 54.25/7.88 v <instantiation> 54.25/7.88 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] nb nw </list> 54.25/7.88 v <values>0 0 0 0 1 0 1 2 2 2 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 2 0 2 0 0 0 2 0 2 0 0 0 0 0 0 0 0 1 0 0 7 7 </values> 54.25/7.88 v </instantiation>
OK 7
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 (11602 MiB free) memory of node 1: 16384 MiB (14988 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399868-1568718221/watcher-4399868-1568718221 -o /tmp/evaluation-result-4399868-1568718221/solver-4399868-1568718221 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568711549-5342 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1617276123 HOME/instance-4399868-1568718221.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=8138, runsolver pid=8135 Current StackSize limit: 8192 KiB [startup+0.100113 s]* /proc/loadavg: 7.34 7.59 7.58 2/213 8159 /proc/meminfo: memFree=27215800/32770624 swapFree=66999436/67108860 [pid=8138] ppid=8135 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8138/stat : 8138 (xcsp3-exec) S 8135 8138 5314 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447760531 115843072 363 33554432000 4194304 5098028 140735937642480 140735937640584 139638773801596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33435648 140735937651573 140735937651817 140735937651817 140735937654730 0 /proc/8138/statm: 28282 363 304 221 0 87 0 [pid=8140] ppid=8138 vsize=28227396 memory=27356 CPUtime=0.12 cores=0-7 /proc/8140/stat : 8140 (java) S 8138 8138 5314 0 -1 1077944320 5807 0 0 0 11 1 0 0 20 0 20 0 447760531 28904853504 6839 33554432000 4194304 4196468 140727498897184 140727498879728 140387012099831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 /proc/8140/statm: 7056849 6839 3124 1 0 7019032 0 [pid=8140/tid=8141] ppid=8138 vsize=28227396 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/8140/task/8141/stat : 8141 (java) R 8138 8138 5314 0 -1 4202560 3650 0 0 0 8 1 0 0 20 0 20 0 447760532 28904853504 6839 33554432000 4194304 4196468 140727498897184 140387016332624 140387012111766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8142] ppid=8138 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/8140/task/8142/stat : 8142 (java) S 8138 8138 5314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447760532 28904853504 6839 33554432000 4194304 4196468 140727498897184 140386563123856 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8143] ppid=8138 vsize=28227396 memory=140684056888960 CPUtime=0 cores=0-7 /proc/8140/task/8143/stat : 8143 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28904853504 6839 33554432000 4194304 4196468 140727498897184 140386562071056 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8144] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8144/stat : 8144 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28904853504 6839 33554432000 4194304 4196468 140727498897184 140386561018256 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8145] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8145/stat : 8145 (java) S 8138 8138 5314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447760532 28904853504 6839 33554432000 4194304 4196468 140727498897184 140386559965456 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8146] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8146/stat : 8146 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28904853504 6839 33554432000 4194304 4196468 140727498897184 140386558913680 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8147] ppid=8138 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8140/task/8147/stat : 8147 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28904853504 6839 33554432000 4194304 4196468 140727498897184 140386557860880 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8148] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8148/stat : 8148 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28904853504 6839 33554432000 4194304 4196468 140727498897184 140386556808080 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8149] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8149/stat : 8149 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28904853504 6839 33554432000 4194304 4196468 140727498897184 140386555755280 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8150] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8150/stat : 8150 (java) S 8138 8138 5314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447760534 28904853504 6839 33554432000 4194304 4196468 140727498897184 140386513222000 140387012110978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8151] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8151/stat : 8151 (java) S 8138 8138 5314 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447760534 28904853504 6839 33554432000 4194304 4196468 140727498897184 140386512167968 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8152] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8152/stat : 8152 (java) S 8138 8138 5314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447760535 28904853504 6839 33554432000 4194304 4196468 140727498897184 140386511115120 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8153] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8153/stat : 8153 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760537 28904853504 6839 33554432000 4194304 4196468 140727498897184 140386510063440 140387012118427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8154] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8154/stat : 8154 (java) S 8138 8138 5314 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 447760537 28904853504 6839 33554432000 4194304 4196468 140727498897184 140385655450480 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8155] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8155/stat : 8155 (java) S 8138 8138 5314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447760537 28904853504 6839 33554432000 4194304 4196468 140727498897184 140385654397680 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8156] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8156/stat : 8156 (java) S 8138 8138 5314 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 447760537 28904853504 6839 33554432000 4194304 4196468 140727498897184 140385653344880 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8157] ppid=8138 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/8140/task/8157/stat : 8157 (java) R 8138 8138 5314 0 -1 4202560 411 0 0 0 1 0 0 0 20 0 20 0 447760537 28904853504 6839 33554432000 4194304 4196468 140727498897184 140385652292080 140387012111766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8158] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8158/stat : 8158 (java) S 8138 8138 5314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447760537 28904853504 6839 33554432000 4194304 4196468 140727498897184 140385651239520 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8159] ppid=8138 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8140/task/8159/stat : 8159 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760538 28904853504 6839 33554432000 4194304 4196468 140727498897184 140385650186800 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 28808 KiB [startup+0.209904 s]* /proc/loadavg: 7.34 7.59 7.58 3/213 8159 /proc/meminfo: memFree=27202976/32770624 swapFree=66999436/67108860 [pid=8138] ppid=8135 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8138/stat : 8138 (xcsp3-exec) S 8135 8138 5314 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447760531 115843072 363 33554432000 4194304 5098028 140735937642480 140735937640584 139638773801596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33435648 140735937651573 140735937651817 140735937651817 140735937654730 0 /proc/8138/statm: 28282 363 304 221 0 87 0 [pid=8140] ppid=8138 vsize=28227396 memory=39968 CPUtime=0.34 cores=0-7 /proc/8140/stat : 8140 (java) S 8138 8138 5314 0 -1 1077944320 9691 0 0 0 30 4 0 0 20 0 20 0 447760531 28904853504 9992 33554432000 4194304 4196468 140727498897184 140727498879728 140387012099831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 /proc/8140/statm: 7056849 9992 3290 1 0 7019032 0 [pid=8140/tid=8141] ppid=8138 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/8140/task/8141/stat : 8141 (java) R 8138 8138 5314 0 -1 4202560 6659 0 0 0 17 2 0 0 20 0 20 0 447760532 28904853504 9992 33554432000 4194304 4196468 140727498897184 140387016337856 140386996180318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8142] ppid=8138 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/8140/task/8142/stat : 8142 (java) S 8138 8138 5314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447760532 28904853504 9992 33554432000 4194304 4196468 140727498897184 140386563123856 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8143] ppid=8138 vsize=28227396 memory=140684056897355 CPUtime=0 cores=0-7 /proc/8140/task/8143/stat : 8143 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28904853504 9992 33554432000 4194304 4196468 140727498897184 140386562071056 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8144] ppid=8138 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8140/task/8144/stat : 8144 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28904853504 9992 33554432000 4194304 4196468 140727498897184 140386561018256 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8145] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8145/stat : 8145 (java) S 8138 8138 5314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447760532 28904853504 9992 33554432000 4194304 4196468 140727498897184 140386559965456 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8146] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8146/stat : 8146 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28904853504 9992 33554432000 4194304 4196468 140727498897184 140386558913680 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8147] ppid=8138 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8140/task/8147/stat : 8147 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28904853504 9992 33554432000 4194304 4196468 140727498897184 140386557860880 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8148] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8148/stat : 8148 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28904853504 9992 33554432000 4194304 4196468 140727498897184 140386556808080 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8149] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8149/stat : 8149 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28904853504 9992 33554432000 4194304 4196468 140727498897184 140386555755280 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8150] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8150/stat : 8150 (java) S 8138 8138 5314 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447760534 28904853504 9992 33554432000 4194304 4196468 140727498897184 140386513222000 140387012110978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8151] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8151/stat : 8151 (java) S 8138 8138 5314 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447760534 28904853504 9992 33554432000 4194304 4196468 140727498897184 140386512167968 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8152] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8152/stat : 8152 (java) S 8138 8138 5314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447760535 28904853504 9992 33554432000 4194304 4196468 140727498897184 140386511115120 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8153] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8153/stat : 8153 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760537 28904853504 9992 33554432000 4194304 4196468 140727498897184 140386510063440 140387012118427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8154] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8154/stat : 8154 (java) S 8138 8138 5314 0 -1 1077944384 355 0 0 0 0 0 0 0 20 0 20 0 447760537 28904853504 9992 33554432000 4194304 4196468 140727498897184 140385655450480 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8155] ppid=8138 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/8140/task/8155/stat : 8155 (java) S 8138 8138 5314 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 20 0 447760537 28904853504 9992 33554432000 4194304 4196468 140727498897184 140385654397680 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8156] ppid=8138 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/8140/task/8156/stat : 8156 (java) S 8138 8138 5314 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 20 0 447760537 28904853504 9992 33554432000 4194304 4196468 140727498897184 140385653344880 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8157] ppid=8138 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/8140/task/8157/stat : 8157 (java) R 8138 8138 5314 0 -1 4202560 932 0 0 0 7 0 0 0 20 0 20 0 447760537 28904853504 9992 33554432000 4194304 4196468 140727498897184 140385652292080 140387012121178 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8158] ppid=8138 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8158/stat : 8158 (java) S 8138 8138 5314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447760537 28904853504 9992 33554432000 4194304 4196468 140727498897184 140385651239520 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8159] ppid=8138 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8140/task/8159/stat : 8159 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760538 28904853504 9992 33554432000 4194304 4196468 140727498897184 140385650186800 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41420 KiB [startup+0.309565 s]* /proc/loadavg: 7.34 7.59 7.58 3/213 8159 /proc/meminfo: memFree=27196848/32770624 swapFree=66999436/67108860 [pid=8138] ppid=8135 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8138/stat : 8138 (xcsp3-exec) S 8135 8138 5314 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447760531 115843072 363 33554432000 4194304 5098028 140735937642480 140735937640584 139638773801596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33435648 140735937651573 140735937651817 140735937651817 140735937654730 0 /proc/8138/statm: 28282 363 304 221 0 87 0 [pid=8140] ppid=8138 vsize=28231652 memory=48544 CPUtime=0.52 cores=0-7 /proc/8140/stat : 8140 (java) S 8138 8138 5314 0 -1 1077944320 11032 0 0 0 47 5 0 0 20 0 20 0 447760531 28909211648 12136 33554432000 4194304 4196468 140727498897184 140727498879728 140387012099831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 /proc/8140/statm: 7057913 12136 3339 1 0 7019032 0 [pid=8140/tid=8141] ppid=8138 vsize=28231652 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/8140/task/8141/stat : 8141 (java) R 8138 8138 5314 0 -1 4202560 7721 0 0 0 26 3 0 0 20 0 20 0 447760532 28909211648 12200 33554432000 4194304 4196468 140727498897184 140387016336448 140386996180318 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8142] ppid=8138 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8142/stat : 8142 (java) S 8138 8138 5314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447760532 28909211648 12200 33554432000 4194304 4196468 140727498897184 140386563123856 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8143] ppid=8138 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8143/stat : 8143 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28909211648 12200 33554432000 4194304 4196468 140727498897184 140386562071056 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8144] ppid=8138 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8144/stat : 8144 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28909211648 12200 33554432000 4194304 4196468 140727498897184 140386561018256 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8145] ppid=8138 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8145/stat : 8145 (java) S 8138 8138 5314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447760532 28909211648 12200 33554432000 4194304 4196468 140727498897184 140386559965456 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8146] ppid=8138 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/8140/task/8146/stat : 8146 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28909211648 12200 33554432000 4194304 4196468 140727498897184 140386558913680 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8147] ppid=8138 vsize=28231652 memory=140683935577007 CPUtime=0 cores=0-7 /proc/8140/task/8147/stat : 8147 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28909211648 12200 33554432000 4194304 4196468 140727498897184 140386557860880 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8148] ppid=8138 vsize=28231652 memory=140683935579312 CPUtime=0 cores=0-7 /proc/8140/task/8148/stat : 8148 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28909211648 12200 33554432000 4194304 4196468 140727498897184 140386556808080 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8149] ppid=8138 vsize=28231652 memory=140683935581616 CPUtime=0 cores=0-7 /proc/8140/task/8149/stat : 8149 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28909211648 12200 33554432000 4194304 4196468 140727498897184 140386555755280 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8150] ppid=8138 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8150/stat : 8150 (java) S 8138 8138 5314 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447760534 28909211648 12200 33554432000 4194304 4196468 140727498897184 140386513222000 140387012110978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8151] ppid=8138 vsize=28231652 memory=281367871170192 CPUtime=0 cores=0-7 /proc/8140/task/8151/stat : 8151 (java) S 8138 8138 5314 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447760534 28909211648 12200 33554432000 4194304 4196468 140727498897184 140386512167968 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8152] ppid=8138 vsize=28231652 memory=281367871177104 CPUtime=0 cores=0-7 /proc/8140/task/8152/stat : 8152 (java) S 8138 8138 5314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447760535 28909211648 12200 33554432000 4194304 4196468 140727498897184 140386511115120 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8153] ppid=8138 vsize=28231652 memory=281367871118256 CPUtime=0 cores=0-7 /proc/8140/task/8153/stat : 8153 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760537 28909211648 12200 33554432000 4194304 4196468 140727498897184 140386510063440 140387012118427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8154] ppid=8138 vsize=28231652 memory=281367871190928 CPUtime=0.01 cores=0-7 /proc/8140/task/8154/stat : 8154 (java) S 8138 8138 5314 0 -1 1077944384 407 0 0 0 1 0 0 0 20 0 20 0 447760537 28909211648 12200 33554432000 4194304 4196468 140727498897184 140385655450480 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8155] ppid=8138 vsize=28231652 memory=281367871197840 CPUtime=0.03 cores=0-7 /proc/8140/task/8155/stat : 8155 (java) R 8138 8138 5314 0 -1 4202560 127 0 0 0 3 0 0 0 20 0 20 0 447760537 28909211648 12200 33554432000 4194304 4196468 140727498897184 140385654388064 140386992800128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8156] ppid=8138 vsize=28231652 memory=281367871195536 CPUtime=0.03 cores=0-7 /proc/8140/task/8156/stat : 8156 (java) S 8138 8138 5314 0 -1 1077944384 372 0 0 0 3 0 0 0 20 0 20 0 447760537 28909211648 12200 33554432000 4194304 4196468 140727498897184 140385653344880 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8157] ppid=8138 vsize=28231652 memory=281367871211696 CPUtime=0.12 cores=0-7 /proc/8140/task/8157/stat : 8157 (java) S 8138 8138 5314 0 -1 1077944384 1120 0 0 0 12 0 0 0 20 0 20 0 447760537 28909211648 12200 33554432000 4194304 4196468 140727498897184 140385652292080 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8158] ppid=8138 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8158/stat : 8158 (java) S 8138 8138 5314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447760537 28909211648 12200 33554432000 4194304 4196468 140727498897184 140385651239520 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8159] ppid=8138 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/8140/task/8159/stat : 8159 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760538 28909211648 12200 33554432000 4194304 4196468 140727498897184 140385650186800 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 49996 KiB [startup+0.700939 s] /proc/loadavg: 7.34 7.59 7.58 4/213 8159 /proc/meminfo: memFree=27185924/32770624 swapFree=66999436/67108860 [pid=8138] ppid=8135 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8138/stat : 8138 (xcsp3-exec) S 8135 8138 5314 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447760531 115843072 363 33554432000 4194304 5098028 140735937642480 140735937640584 139638773801596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33435648 140735937651573 140735937651817 140735937651817 140735937654730 0 /proc/8138/statm: 28282 363 304 221 0 87 0 [pid=8140] ppid=8138 vsize=28233776 memory=85984 CPUtime=1.61 cores=0-7 /proc/8140/stat : 8140 (java) S 8138 8138 5314 0 -1 1077944320 15687 0 0 0 154 7 0 0 20 0 20 0 447760531 28911386624 21496 33554432000 4194304 4196468 140727498897184 140727498879728 140387012099831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 /proc/8140/statm: 7058444 21496 3454 1 0 7019544 0 [pid=8140/tid=8141] ppid=8138 vsize=28233776 memory=281367871569584 CPUtime=0.67 cores=0-7 /proc/8140/task/8141/stat : 8141 (java) R 8138 8138 5314 0 -1 4202560 9286 0 0 0 63 4 0 0 20 0 20 0 447760532 28911386624 21496 33554432000 4194304 4196468 140727498897184 140387016337728 140387004777845 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8142] ppid=8138 vsize=28233776 memory=140683935785840 CPUtime=0 cores=0-7 /proc/8140/task/8142/stat : 8142 (java) S 8138 8138 5314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447760532 28911386624 21496 33554432000 4194304 4196468 140727498897184 140386563123856 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8143] ppid=8138 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/8140/task/8143/stat : 8143 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28911386624 21496 33554432000 4194304 4196468 140727498897184 140386562071056 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8144] ppid=8138 vsize=28233776 memory=6020 CPUtime=0 cores=0-7 /proc/8140/task/8144/stat : 8144 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447760532 28911386624 21496 33554432000 4194304 4196468 140727498897184 140386561018256 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 ################ # More data... # ################ [pid=8140/tid=8157] ppid=8138 vsize=28768336 memory=2116 CPUtime=0.82 cores=0-7 /proc/8140/task/8157/stat : 8157 (java) S 8138 8138 5314 0 -1 1077944384 4988 0 0 0 81 1 0 0 20 0 28 0 447760537 29458776064 55359 33554432000 4194304 4196468 140727498897184 140385652292080 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8158] ppid=8138 vsize=28768336 memory=23868 CPUtime=0 cores=0-7 /proc/8140/task/8158/stat : 8158 (java) S 8138 8138 5314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447760537 29458776064 55359 33554432000 4194304 4196468 140727498897184 140385651239520 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8159] ppid=8138 vsize=28768336 memory=532 CPUtime=0 cores=0-7 /proc/8140/task/8159/stat : 8159 (java) S 8138 8138 5314 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 447760538 29458776064 55359 33554432000 4194304 4196468 140727498897184 140385650186800 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8184] ppid=8138 vsize=28768336 memory=1556 CPUtime=5.23 cores=0-7 /proc/8140/task/8184/stat : 8184 (java) R 8138 8138 5314 0 -1 4202560 118 0 0 0 523 0 0 0 20 0 28 0 447760657 29458776064 55359 33554432000 4194304 4196468 140727498897184 140385637812784 140386655685655 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8185] ppid=8138 vsize=28768336 memory=932 CPUtime=5.14 cores=0-7 /proc/8140/task/8185/stat : 8185 (java) R 8138 8138 5314 0 -1 4202560 97 0 0 0 514 0 0 0 20 0 28 0 447760657 29458776064 55359 33554432000 4194304 4196468 140727498897184 140385517153888 140386656103784 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8186] ppid=8138 vsize=28768336 memory=3680 CPUtime=5.29 cores=0-7 /proc/8140/task/8186/stat : 8186 (java) R 8138 8138 5314 0 -1 4202560 628 0 0 0 529 0 0 0 20 0 28 0 447760657 29458776064 55359 33554432000 4194304 4196468 140727498897184 140385640972864 140386655686587 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8187] ppid=8138 vsize=28768336 memory=864 CPUtime=5.27 cores=0-7 /proc/8140/task/8187/stat : 8187 (java) R 8138 8138 5314 0 -1 4202560 192 0 0 0 525 2 0 0 20 0 28 0 447760657 29458776064 55359 33554432000 4194304 4196468 140727498897184 140385519260000 140386993506102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8188] ppid=8138 vsize=28768336 memory=1436 CPUtime=5.15 cores=0-7 /proc/8140/task/8188/stat : 8188 (java) R 8138 8138 5314 0 -1 4202560 279 0 0 0 515 0 0 0 20 0 28 0 447760657 29458776064 55359 33554432000 4194304 4196468 140727498897184 140385638867168 140386655686713 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8189] ppid=8138 vsize=28768336 memory=1652 CPUtime=5.18 cores=0-7 /proc/8140/task/8189/stat : 8189 (java) R 8138 8138 5314 0 -1 4202560 146 0 0 0 518 0 0 0 20 0 28 0 447760657 29458776064 55359 33554432000 4194304 4196468 140727498897184 140385520312416 140386655685746 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8190] ppid=8138 vsize=28768336 memory=1980 CPUtime=5.19 cores=0-7 /proc/8140/task/8190/stat : 8190 (java) R 8138 8138 5314 0 -1 4202560 74 0 0 0 519 0 0 0 20 0 28 0 447760657 29458776064 55359 33554432000 4194304 4196468 140727498897184 140385639920072 140386656103868 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8191] ppid=8138 vsize=28768336 memory=2540 CPUtime=5.28 cores=0-7 /proc/8140/task/8191/stat : 8191 (java) R 8138 8138 5314 0 -1 4202560 172 0 0 0 528 0 0 0 20 0 28 0 447760657 29458776064 55359 33554432000 4194304 4196468 140727498897184 140385518206912 140386655686582 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 Current children cumulated CPU time: 49.47 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 222888 KiB [startup+7.60551 s] /proc/loadavg: 7.15 7.55 7.57 9/221 8191 /proc/meminfo: memFree=27021992/32770624 swapFree=66999436/67108860 [pid=8138] ppid=8135 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8138/stat : 8138 (xcsp3-exec) S 8135 8138 5314 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447760531 115843072 363 33554432000 4194304 5098028 140735937642480 140735937640584 139638773801596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33435648 140735937651573 140735937651817 140735937651817 140735937654730 0 /proc/8138/statm: 28282 363 304 221 0 87 0 [pid=8140] ppid=8138 vsize=28768336 memory=214276 CPUtime=52.69 cores=0-7 /proc/8140/stat : 8140 (java) S 8138 8138 5314 0 -1 1077944320 38261 0 0 0 5242 27 0 0 20 0 28 0 447760531 29458776064 53569 33554432000 4194304 4196468 140727498897184 140727498879728 140387012099831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 /proc/8140/statm: 7192084 53569 3526 1 0 7153184 0 [pid=8140/tid=8141] ppid=8138 vsize=28768336 memory=1540 CPUtime=1.1 cores=0-7 /proc/8140/task/8141/stat : 8141 (java) S 8138 8138 5314 0 -1 1077944384 10011 0 0 0 104 6 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140387016340608 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8142] ppid=8138 vsize=28768336 memory=772 CPUtime=0.02 cores=0-7 /proc/8140/task/8142/stat : 8142 (java) S 8138 8138 5314 0 -1 1077944384 197 0 0 0 2 0 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386563123856 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8143] ppid=8138 vsize=28768336 memory=10596 CPUtime=0.02 cores=0-7 /proc/8140/task/8143/stat : 8143 (java) S 8138 8138 5314 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386562071056 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8144] ppid=8138 vsize=28768336 memory=1712 CPUtime=0.02 cores=0-7 /proc/8140/task/8144/stat : 8144 (java) S 8138 8138 5314 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386561018256 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8145] ppid=8138 vsize=28768336 memory=988 CPUtime=0.02 cores=0-7 /proc/8140/task/8145/stat : 8145 (java) S 8138 8138 5314 0 -1 1077944384 84 0 0 0 2 0 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386559965456 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8146] ppid=8138 vsize=28768336 memory=4164 CPUtime=0.02 cores=0-7 /proc/8140/task/8146/stat : 8146 (java) S 8138 8138 5314 0 -1 1077944384 1070 0 0 0 2 0 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386558913680 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8147] ppid=8138 vsize=28768336 memory=2828 CPUtime=0.02 cores=0-7 /proc/8140/task/8147/stat : 8147 (java) S 8138 8138 5314 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386557860880 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8148] ppid=8138 vsize=28768336 memory=1048 CPUtime=0.02 cores=0-7 /proc/8140/task/8148/stat : 8148 (java) S 8138 8138 5314 0 -1 1077944384 93 0 0 0 1 1 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386556808080 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8149] ppid=8138 vsize=28768336 memory=6020 CPUtime=0.02 cores=0-7 /proc/8140/task/8149/stat : 8149 (java) S 8138 8138 5314 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386555755280 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8150] ppid=8138 vsize=28768336 memory=612 CPUtime=0.03 cores=0-7 /proc/8140/task/8150/stat : 8150 (java) S 8138 8138 5314 0 -1 1077944384 478 0 0 0 2 1 0 0 20 0 28 0 447760534 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386513222000 140387012110978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8151] ppid=8138 vsize=28768336 memory=1220 CPUtime=0 cores=0-7 /proc/8140/task/8151/stat : 8151 (java) S 8138 8138 5314 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 447760534 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386512168032 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8152] ppid=8138 vsize=28768336 memory=14004 CPUtime=0 cores=0-7 /proc/8140/task/8152/stat : 8152 (java) S 8138 8138 5314 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 447760535 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386511115136 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8153] ppid=8138 vsize=28768336 memory=14060 CPUtime=0 cores=0-7 /proc/8140/task/8153/stat : 8153 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447760537 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386510063440 140387012118427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8154] ppid=8138 vsize=28768336 memory=0 CPUtime=1.65 cores=0-7 /proc/8140/task/8154/stat : 8154 (java) S 8138 8138 5314 0 -1 1077944384 5766 0 0 0 163 2 0 0 20 0 28 0 447760537 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385655450480 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8155] ppid=8138 vsize=28768336 memory=23868 CPUtime=1.74 cores=0-7 /proc/8140/task/8155/stat : 8155 (java) S 8138 8138 5314 0 -1 1077944384 5210 0 0 0 173 1 0 0 20 0 28 0 447760537 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385654397680 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8156] ppid=8138 vsize=28768336 memory=532 CPUtime=1.6 cores=0-7 /proc/8140/task/8156/stat : 8156 (java) S 8138 8138 5314 0 -1 1077944384 5841 0 0 0 160 0 0 0 20 0 28 0 447760537 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385653344880 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8157] ppid=8138 vsize=28768336 memory=1556 CPUtime=0.82 cores=0-7 /proc/8140/task/8157/stat : 8157 (java) S 8138 8138 5314 0 -1 1077944384 4988 0 0 0 81 1 0 0 20 0 28 0 447760537 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385652292080 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8158] ppid=8138 vsize=28768336 memory=932 CPUtime=0 cores=0-7 /proc/8140/task/8158/stat : 8158 (java) S 8138 8138 5314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447760537 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385651239520 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8159] ppid=8138 vsize=28768336 memory=3680 CPUtime=0 cores=0-7 /proc/8140/task/8159/stat : 8159 (java) S 8138 8138 5314 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 447760538 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385650186800 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8184] ppid=8138 vsize=28768336 memory=864 CPUtime=5.63 cores=0-7 /proc/8140/task/8184/stat : 8184 (java) R 8138 8138 5314 0 -1 4202560 126 0 0 0 563 0 0 0 20 0 28 0 447760657 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385637812880 140386655686128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8185] ppid=8138 vsize=28768336 memory=0 CPUtime=5.54 cores=0-7 /proc/8140/task/8185/stat : 8185 (java) R 8138 8138 5314 0 -1 4202560 99 0 0 0 554 0 0 0 20 0 28 0 447760657 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385517153984 140386655685887 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8186] ppid=8138 vsize=28768336 memory=281367871885344 CPUtime=5.69 cores=0-7 /proc/8140/task/8186/stat : 8186 (java) R 8138 8138 5314 0 -1 4202560 634 0 0 0 569 0 0 0 20 0 28 0 447760657 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385640973256 140386657043062 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8187] ppid=8138 vsize=28768336 memory=3184238604011913488 CPUtime=5.67 cores=0-7 /proc/8140/task/8187/stat : 8187 (java) R 8138 8138 5314 0 -1 4202560 214 0 0 0 565 2 0 0 20 0 28 0 447760657 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385519260000 140386655685887 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8188] ppid=8138 vsize=28768336 memory=6656426216303648864 CPUtime=5.56 cores=0-7 /proc/8140/task/8188/stat : 8188 (java) R 8138 8138 5314 0 -1 4202560 290 0 0 0 556 0 0 0 20 0 28 0 447760657 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385638867264 140386656638281 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8189] ppid=8138 vsize=28768336 memory=0 CPUtime=5.58 cores=0-7 /proc/8140/task/8189/stat : 8189 (java) R 8138 8138 5314 0 -1 4202560 150 0 0 0 558 0 0 0 20 0 28 0 447760657 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385520312512 140727499245782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8190] ppid=8138 vsize=28768336 memory=0 CPUtime=5.59 cores=0-7 /proc/8140/task/8190/stat : 8190 (java) R 8138 8138 5314 0 -1 4202560 82 0 0 0 559 0 0 0 20 0 28 0 447760657 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385639919584 140386993506106 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8191] ppid=8138 vsize=28768336 memory=281367870963952 CPUtime=5.68 cores=0-7 /proc/8140/task/8191/stat : 8191 (java) R 8138 8138 5314 0 -1 4202560 176 0 0 0 568 0 0 0 20 0 28 0 447760657 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385518206816 140386656103740 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 Current children cumulated CPU time: 52.69 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 215728 KiB [startup+7.80145 s] /proc/loadavg: 7.15 7.55 7.57 9/221 8191 /proc/meminfo: memFree=27021992/32770624 swapFree=66999436/67108860 [pid=8138] ppid=8135 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8138/stat : 8138 (xcsp3-exec) S 8135 8138 5314 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447760531 115843072 363 33554432000 4194304 5098028 140735937642480 140735937640584 139638773801596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33435648 140735937651573 140735937651817 140735937651817 140735937654730 0 /proc/8138/statm: 28282 363 304 221 0 87 0 [pid=8140] ppid=8138 vsize=28768336 memory=214276 CPUtime=54.25 cores=0-7 /proc/8140/stat : 8140 (java) S 8138 8138 5314 0 -1 1077944320 38289 0 0 0 5398 27 0 0 20 0 28 0 447760531 29458776064 53569 33554432000 4194304 4196468 140727498897184 140727498879728 140387012099831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 /proc/8140/statm: 7192084 53569 3526 1 0 7153184 0 [pid=8140/tid=8141] ppid=8138 vsize=28768336 memory=8112282956445269571 CPUtime=1.1 cores=0-7 /proc/8140/task/8141/stat : 8141 (java) S 8138 8138 5314 0 -1 1077944384 10011 0 0 0 104 6 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140387016340608 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8142] ppid=8138 vsize=28768336 memory=288230583166042425 CPUtime=0.02 cores=0-7 /proc/8140/task/8142/stat : 8142 (java) S 8138 8138 5314 0 -1 1077944384 197 0 0 0 2 0 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386563123856 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8143] ppid=8138 vsize=28768336 memory=14973369229511284 CPUtime=0.02 cores=0-7 /proc/8140/task/8143/stat : 8143 (java) S 8138 8138 5314 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386562071056 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8144] ppid=8138 vsize=28768336 memory=988 CPUtime=0.02 cores=0-7 /proc/8140/task/8144/stat : 8144 (java) S 8138 8138 5314 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386561018256 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8145] ppid=8138 vsize=28768336 memory=2016 CPUtime=0.02 cores=0-7 /proc/8140/task/8145/stat : 8145 (java) S 8138 8138 5314 0 -1 1077944384 84 0 0 0 2 0 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386559965456 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8146] ppid=8138 vsize=28768336 memory=1424 CPUtime=0.02 cores=0-7 /proc/8140/task/8146/stat : 8146 (java) S 8138 8138 5314 0 -1 1077944384 1070 0 0 0 2 0 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386558913680 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8147] ppid=8138 vsize=28768336 memory=1540 CPUtime=0.02 cores=0-7 /proc/8140/task/8147/stat : 8147 (java) S 8138 8138 5314 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386557860880 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8148] ppid=8138 vsize=28768336 memory=772 CPUtime=0.02 cores=0-7 /proc/8140/task/8148/stat : 8148 (java) S 8138 8138 5314 0 -1 1077944384 93 0 0 0 1 1 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386556808080 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8149] ppid=8138 vsize=28768336 memory=10596 CPUtime=0.02 cores=0-7 /proc/8140/task/8149/stat : 8149 (java) S 8138 8138 5314 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 28 0 447760532 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386555755280 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8150] ppid=8138 vsize=28768336 memory=1712 CPUtime=0.03 cores=0-7 /proc/8140/task/8150/stat : 8150 (java) S 8138 8138 5314 0 -1 1077944384 478 0 0 0 2 1 0 0 20 0 28 0 447760534 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386513222000 140387012110978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8151] ppid=8138 vsize=28768336 memory=988 CPUtime=0 cores=0-7 /proc/8140/task/8151/stat : 8151 (java) S 8138 8138 5314 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 447760534 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386512168032 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8152] ppid=8138 vsize=28768336 memory=281367871335680 CPUtime=0 cores=0-7 /proc/8140/task/8152/stat : 8152 (java) S 8138 8138 5314 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 447760535 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386511115136 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8153] ppid=8138 vsize=28768336 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/8140/task/8153/stat : 8153 (java) S 8138 8138 5314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447760537 29458776064 53569 33554432000 4194304 4196468 140727498897184 140386510063440 140387012118427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8154] ppid=8138 vsize=28768336 memory=6944652177228980320 CPUtime=1.65 cores=0-7 /proc/8140/task/8154/stat : 8154 (java) S 8138 8138 5314 0 -1 1077944384 5766 0 0 0 163 2 0 0 20 0 28 0 447760537 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385655450480 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8155] ppid=8138 vsize=28768336 memory=6944656575208382560 CPUtime=1.74 cores=0-7 /proc/8140/task/8155/stat : 8155 (java) R 8138 8138 5314 0 -1 1077944384 5210 0 0 0 173 1 0 0 20 0 28 0 447760537 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385654397680 140387012110978 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8156] ppid=8138 vsize=28768336 memory=6944656575208382560 CPUtime=1.6 cores=0-7 /proc/8140/task/8156/stat : 8156 (java) S 8138 8138 5314 0 -1 1077944384 5841 0 0 0 160 0 0 0 20 0 28 0 447760537 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385653344880 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8157] ppid=8138 vsize=28768336 memory=6944656592455359580 CPUtime=0.82 cores=0-7 /proc/8140/task/8157/stat : 8157 (java) S 8138 8138 5314 0 -1 1077944384 5009 0 0 0 81 1 0 0 20 0 28 0 447760537 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385652292080 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8158] ppid=8138 vsize=28768336 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/8140/task/8158/stat : 8158 (java) S 8138 8138 5314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447760537 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385651239520 140387012110037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8159] ppid=8138 vsize=28768336 memory=4796 CPUtime=0 cores=0-7 /proc/8140/task/8159/stat : 8159 (java) S 8138 8138 5314 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 447760538 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385650186800 140387012110978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8184] ppid=8138 vsize=28768336 memory=4104 CPUtime=5.83 cores=0-7 /proc/8140/task/8184/stat : 8184 (java) R 8138 8138 5314 0 -1 4202560 129 0 0 0 583 0 0 0 20 0 28 0 447760657 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385637812784 140386655867212 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8185] ppid=8138 vsize=28768336 memory=1408 CPUtime=5.73 cores=0-7 /proc/8140/task/8185/stat : 8185 (java) R 8138 8138 5314 0 -1 4202560 99 0 0 0 573 0 0 0 20 0 28 0 447760657 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385517153888 140386656104024 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8186] ppid=8138 vsize=28768336 memory=2796 CPUtime=5.88 cores=0-7 /proc/8140/task/8186/stat : 8186 (java) R 8138 8138 5314 0 -1 4202560 645 0 0 0 588 0 0 0 20 0 28 0 447760657 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385640972768 140386993663383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8187] ppid=8138 vsize=28768336 memory=1452 CPUtime=5.87 cores=0-7 /proc/8140/task/8187/stat : 8187 (java) R 8138 8138 5314 0 -1 4202560 215 0 0 0 585 2 0 0 20 0 28 0 447760657 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385519259920 140386655436784 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8188] ppid=8138 vsize=28768336 memory=221320 CPUtime=5.75 cores=0-7 /proc/8140/task/8188/stat : 8188 (java) R 8138 8138 5314 0 -1 4202560 290 0 0 0 575 0 0 0 20 0 28 0 447760657 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385638867656 140386657086505 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8189] ppid=8138 vsize=28768336 memory=8112282956445269571 CPUtime=5.78 cores=0-7 /proc/8140/task/8189/stat : 8189 (java) R 8138 8138 5314 0 -1 4202560 151 0 0 0 578 0 0 0 20 0 28 0 447760657 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385520312416 140386657387847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8190] ppid=8138 vsize=28768336 memory=4872558044660077418 CPUtime=5.78 cores=0-7 /proc/8140/task/8190/stat : 8190 (java) R 8138 8138 5314 0 -1 4202560 82 0 0 0 578 0 0 0 20 0 28 0 447760657 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385639920072 140386655686938 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 [pid=8140/tid=8191] ppid=8138 vsize=28768336 memory=288230583166042425 CPUtime=5.87 cores=0-7 /proc/8140/task/8191/stat : 8191 (java) R 8138 8138 5314 0 -1 4202560 176 0 0 0 587 0 0 0 20 0 28 0 447760657 29458776064 53569 33554432000 4194304 4196468 140727498897184 140385518206912 140386655436577 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16183296 140727498900458 140727498900630 140727498900630 140727498903503 0 Current children cumulated CPU time: 54.25 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 215728 KiB Child status: 0 Real time (s): 7.89669 CPU time (s): 54.9398 CPU user time (s): 54.6484 CPU system time (s): 0.291411 CPU usage (%): 695.732 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 225460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 54.6484 system time used= 0.291411 maximum resident set size= 227736 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39788 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12308 involuntary context switches= 630 # summary of solver processes directly reported to runsolver: # pid: 8138 # total CPU time (s): 54.9398 # total CPU user time (s): 54.6484 # total CPU system time (s): 0.291411 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.090868 second user time and 0.121155 second system time The end
Begin job on node140 at 2019-09-17 13:03:01 IDJOB=4399868 IDBENCH=141494 IDSOLVER=2854 FILE ID=node140/4399868-1568718221 RUNJOBID= node140-1568711549-5342 PBS_JOBID= 21703933 Free space on /tmp= 58116 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m2-07_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399868-1568718221/watcher-4399868-1568718221 -o /tmp/evaluation-result-4399868-1568718221/solver-4399868-1568718221 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568711549-5342 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1617276123 HOME/instance-4399868-1568718221.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d533abf730bec48b9e0ac1943d19d6b7 RANDOM SEED=1617276123 node140.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.43 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.43 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.43 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.43 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: 27229476 kB MemAvailable: 31846716 kB Buffers: 201888 kB Cached: 4658240 kB SwapCached: 2596 kB Active: 1638260 kB Inactive: 3231060 kB Active(anon): 5140 kB Inactive(anon): 53220 kB Active(file): 1633120 kB Inactive(file): 3177840 kB Unevictable: 106976 kB Mlocked: 106976 kB SwapTotal: 67108860 kB SwapFree: 66999436 kB Dirty: 26140 kB Writeback: 0 kB AnonPages: 308192 kB Mapped: 49528 kB Shmem: 40584 kB Slab: 264196 kB SReclaimable: 234740 kB SUnreclaim: 29456 kB KernelStack: 3792 kB PageTables: 6492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507388 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 264192 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= 58088 MiB End job on node140 at 2019-09-17 13:03:09