Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | OPT | 1100 | 43.771801 | 6.4724102 |
Name | Rack/ Rack-m1c-s1/Rack-m1c-r2.xml |
MD5SUM | a7a611711d538e27d6e463316b2ea293 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1100 |
Best CPU time to get the best result obtained on this benchmark | 5.60818 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 80 |
Number of constraints | 56 |
Number of domains | 6 |
Minimum domain size | 3 |
Maximum domain size | 17 |
Distribution of domain sizes | [{"size":3,"count":50},{"size":5,"count":10},{"size":9,"count":10},{"size":17,"count":10}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":30},{"degree":3,"count":38},{"degree":4,"count":10},{"degree":5,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":2,"count":30},{"arity":4,"count":1},{"arity":5,"count":20},{"arity":10,"count":5}] |
Number of extensional constraints | 30 |
Number of intensional constraints | 1 |
Distribution of constraint types | [{"type":"extension","count":30},{"type":"intension","count":1},{"type":"ordered","count":1},{"type":"sum","count":24}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281184-1503181070.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4281184-1503181070.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 1.33/0.64 c solve instance... 1.33/0.66 o 2000 1.33/0.67 o 1950 1.33/0.68 o 1800 1.33/0.68 o 1750 1.72/0.70 o 1600 1.72/0.71 o 1550 1.72/0.71 o 1400 1.72/0.72 o 1350 1.72/0.72 o 1200 1.72/0.72 o 1150 2.37/0.83 o 1100 43.32/6.46 s OPTIMUM FOUND 43.32/6.46 v <instantiation> 43.32/6.46 v <list>r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] c[0][0] c[0][1] c[0][2] c[0][3] c[1][0] c[1][1] c[1][2] c[1][3] c[2][0] c[2][1] c[2][2] c[2][3] c[3][0] c[3][1] c[3][2] c[3][3] c[4][0] c[4][1] c[4][2] c[4][3] c[5][0] c[5][1] c[5][2] c[5][3] c[6][0] c[6][1] c[6][2] c[6][3] c[7][0] c[7][1] c[7][2] c[7][3] c[8][0] c[8][1] c[8][2] c[8][3] c[9][0] c[9][1] c[9][2] c[9][3] rpw[0] rpw[1] rpw[2] rpw[3] rpw[4] rpw[5] rpw[6] rpw[7] rpw[8] rpw[9] rcn[0] rcn[1] rcn[2] rcn[3] rcn[4] rcn[5] rcn[6] rcn[7] rcn[8] rcn[9] rpr[0] rpr[1] rpr[2] rpr[3] rpr[4] rpr[5] rpr[6] rpr[7] rpr[8] rpr[9] </list> 43.32/6.46 v <values>2 1 1 1 1 1 1 0 0 0 10 0 0 0 1 3 0 0 0 0 3 0 7 0 0 0 0 0 0 2 1 2 1 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 200 150 150 150 150 150 150 0 0 0 16 8 8 8 8 8 8 0 0 0 200 150 150 150 150 150 150 0 0 0 </values> 43.32/6.46 v </instantiation>
OK 1100
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 (11843 MiB free) memory of node 1: 16384 MiB (11232 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281184-1503181070/watcher-4281184-1503181070 -o /tmp/evaluation-result-4281184-1503181070/solver-4281184-1503181070 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503176429-30780 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1232487169 HOME/instance-4281184-1503181070.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=32089, runsolver pid=32086 [startup+0.100559 s]* /proc/loadavg: 7.46 6.42 3.95 3/201 32110 /proc/meminfo: memFree=23613284/32770624 swapFree=67108860/67108860 [pid=32089] ppid=32086 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32089/stat : 32089 (xcsp3-exec) S 32086 32089 30753 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151187750 9740288 346 33554432000 4194304 5098028 140730134122672 140730134120776 140205167821436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32489472 140730134131812 140730134132023 140730134132023 140730134134763 0 /proc/32089/statm: 2378 346 289 221 0 87 0 [pid=32091] ppid=32089 vsize=25999808 memory=27316 CPUtime=0.12 cores=0-7 /proc/32091/stat : 32091 (java) S 32089 32089 30753 0 -1 1077944320 5230 0 0 0 11 1 0 0 20 0 20 0 151187750 26623803392 6829 33554432000 4194304 4196468 140725119748560 140725119731104 139748064640759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 /proc/32091/statm: 6499952 6829 2861 1 0 6488269 0 [pid=32091/tid=32092] ppid=32089 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/32091/task/32092/stat : 32092 (java) R 32089 32089 30753 0 -1 4202560 3198 0 0 0 8 0 0 0 20 0 20 0 151187750 26623803392 6829 33554432000 4194304 4196468 140725119748560 139748068874032 139748064652694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32093] ppid=32089 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32093/stat : 32093 (java) S 32089 32089 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151187751 26623803392 6829 33554432000 4194304 4196468 140725119748560 139748036483856 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32094] ppid=32089 vsize=25999808 memory=139658020730496 CPUtime=0 cores=0-7 /proc/32091/task/32094/stat : 32094 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151187751 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747622169488 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32095] ppid=32089 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32095/stat : 32095 (java) S 32089 32089 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151187751 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747621116944 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32096] ppid=32089 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32096/stat : 32096 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151187751 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747620064400 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32097] ppid=32089 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32097/stat : 32097 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151187751 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747619010832 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32098] ppid=32089 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/32091/task/32098/stat : 32098 (java) S 32089 32089 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151187751 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747617958288 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32099] ppid=32089 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32099/stat : 32099 (java) S 32089 32089 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151187751 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747616905744 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32100] ppid=32089 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32100/stat : 32100 (java) S 32089 32089 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151187751 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747615853200 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32101] ppid=32089 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32101/stat : 32101 (java) S 32089 32089 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151187753 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747326278128 139748064651906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32102] ppid=32089 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32102/stat : 32102 (java) S 32089 32089 30753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151187753 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747325224352 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32103] ppid=32089 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32103/stat : 32103 (java) S 32089 32089 30753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151187753 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747324171760 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32104] ppid=32089 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32104/stat : 32104 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151187756 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747323120336 139748064659355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32105] ppid=32089 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32105/stat : 32105 (java) S 32089 32089 30753 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 151187756 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747322066928 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32106] ppid=32089 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32106/stat : 32106 (java) S 32089 32089 30753 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 151187756 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747321014384 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32107] ppid=32089 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32107/stat : 32107 (java) S 32089 32089 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151187756 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747319961840 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32108] ppid=32089 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/32091/task/32108/stat : 32108 (java) S 32089 32089 30753 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 20 0 151187756 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747318909296 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32109] ppid=32089 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32109/stat : 32109 (java) S 32089 32089 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151187756 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747317856992 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32110] ppid=32089 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/32091/task/32110/stat : 32110 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151187756 26623803392 6829 33554432000 4194304 4196468 140725119748560 139747316804528 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28700 KiB [startup+0.210442 s]* /proc/loadavg: 7.46 6.42 3.95 3/201 32110 /proc/meminfo: memFree=23602540/32770624 swapFree=67108860/67108860 [pid=32089] ppid=32086 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32089/stat : 32089 (xcsp3-exec) S 32086 32089 30753 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151187750 9740288 346 33554432000 4194304 5098028 140730134122672 140730134120776 140205167821436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32489472 140730134131812 140730134132023 140730134132023 140730134134763 0 /proc/32089/statm: 2378 346 289 221 0 87 0 [pid=32091] ppid=32089 vsize=26004064 memory=39512 CPUtime=0.33 cores=0-7 /proc/32091/stat : 32091 (java) S 32089 32089 30753 0 -1 1077944320 7983 0 0 0 31 2 0 0 20 0 20 0 151187750 26628161536 9878 33554432000 4194304 4196468 140725119748560 140725119731104 139748064640759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 /proc/32091/statm: 6501016 9878 3037 1 0 6488269 0 [pid=32091/tid=32092] ppid=32089 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/32091/task/32092/stat : 32092 (java) R 32089 32089 30753 0 -1 4202560 4922 0 0 0 18 1 0 0 20 0 20 0 151187750 26628161536 9878 33554432000 4194304 4196468 140725119748560 139748068861584 139748064662685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32093] ppid=32089 vsize=26004064 memory=330 CPUtime=0 cores=0-7 /proc/32091/task/32093/stat : 32093 (java) S 32089 32089 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151187751 26628161536 9878 33554432000 4194304 4196468 140725119748560 139748036483856 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32094] ppid=32089 vsize=26004064 memory=139658021740552 CPUtime=0 cores=0-7 /proc/32091/task/32094/stat : 32094 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151187751 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747622169488 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32095] ppid=32089 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/32091/task/32095/stat : 32095 (java) S 32089 32089 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151187751 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747621116944 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32096] ppid=32089 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32096/stat : 32096 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151187751 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747620064400 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32097] ppid=32089 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32097/stat : 32097 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151187751 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747619010832 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32098] ppid=32089 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/32091/task/32098/stat : 32098 (java) S 32089 32089 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151187751 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747617958288 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32099] ppid=32089 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32099/stat : 32099 (java) S 32089 32089 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151187751 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747616905744 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32100] ppid=32089 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32100/stat : 32100 (java) S 32089 32089 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151187751 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747615853200 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32101] ppid=32089 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32101/stat : 32101 (java) S 32089 32089 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151187753 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747326278128 139748064651906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32102] ppid=32089 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32102/stat : 32102 (java) S 32089 32089 30753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151187753 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747325224352 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32103] ppid=32089 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32103/stat : 32103 (java) S 32089 32089 30753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151187753 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747324171760 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32104] ppid=32089 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32104/stat : 32104 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151187756 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747323120336 139748064659355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32105] ppid=32089 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/32091/task/32105/stat : 32105 (java) S 32089 32089 30753 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 20 0 151187756 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747322066928 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32106] ppid=32089 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/32091/task/32106/stat : 32106 (java) S 32089 32089 30753 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 20 0 151187756 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747321014384 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32107] ppid=32089 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/32091/task/32107/stat : 32107 (java) S 32089 32089 30753 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 20 0 151187756 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747319961840 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32108] ppid=32089 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/32091/task/32108/stat : 32108 (java) R 32089 32089 30753 0 -1 4202560 904 0 0 0 7 0 0 0 20 0 20 0 151187756 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747318909296 139748064652694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32109] ppid=32089 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32109/stat : 32109 (java) S 32089 32089 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151187756 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747317856992 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32110] ppid=32089 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/32091/task/32110/stat : 32110 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151187756 26628161536 9878 33554432000 4194304 4196468 140725119748560 139747316804528 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40896 KiB [startup+0.310436 s]* /proc/loadavg: 7.46 6.42 3.95 3/201 32110 /proc/meminfo: memFree=23598136/32770624 swapFree=67108860/67108860 [pid=32089] ppid=32086 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32089/stat : 32089 (xcsp3-exec) S 32086 32089 30753 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151187750 9740288 346 33554432000 4194304 5098028 140730134122672 140730134120776 140205167821436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32489472 140730134131812 140730134132023 140730134132023 140730134134763 0 /proc/32089/statm: 2378 346 289 221 0 87 0 [pid=32091] ppid=32089 vsize=26004064 memory=46956 CPUtime=0.5 cores=0-7 /proc/32091/stat : 32091 (java) S 32089 32089 30753 0 -1 1077944320 9012 0 0 0 47 3 0 0 20 0 20 0 151187750 26628161536 11739 33554432000 4194304 4196468 140725119748560 140725119731104 139748064640759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 /proc/32091/statm: 6501016 11739 3112 1 0 6488269 0 [pid=32091/tid=32092] ppid=32089 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/32091/task/32092/stat : 32092 (java) R 32089 32089 30753 0 -1 4202560 5634 0 0 0 27 2 0 0 20 0 20 0 151187750 26628161536 11739 33554432000 4194304 4196468 140725119748560 139748068863600 139748048721276 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32093] ppid=32089 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32093/stat : 32093 (java) S 32089 32089 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151187751 26628161536 11739 33554432000 4194304 4196468 140725119748560 139748036483856 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32094] ppid=32089 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32094/stat : 32094 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151187751 26628161536 11739 33554432000 4194304 4196468 140725119748560 139747622169488 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32095] ppid=32089 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32095/stat : 32095 (java) S 32089 32089 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151187751 26628161536 11739 33554432000 4194304 4196468 140725119748560 139747621116944 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32096] ppid=32089 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32096/stat : 32096 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151187751 26628161536 11739 33554432000 4194304 4196468 140725119748560 139747620064400 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32097] ppid=32089 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/32091/task/32097/stat : 32097 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151187751 26628161536 11739 33554432000 4194304 4196468 140725119748560 139747619010832 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32098] ppid=32089 vsize=26004064 memory=139657908155311 CPUtime=0 cores=0-7 /proc/32091/task/32098/stat : 32098 (java) S 32089 32089 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151187751 26628161536 11739 33554432000 4194304 4196468 140725119748560 139747617958288 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32099] ppid=32089 vsize=26004064 memory=139657908157616 CPUtime=0 cores=0-7 /proc/32091/task/32099/stat : 32099 (java) S 32089 32089 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151187751 26628161536 11739 33554432000 4194304 4196468 140725119748560 139747616905744 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32100] ppid=32089 vsize=26004064 memory=139657908159920 CPUtime=0 cores=0-7 /proc/32091/task/32100/stat : 32100 (java) S 32089 32089 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151187751 26628161536 11739 33554432000 4194304 4196468 140725119748560 139747615853200 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32101] ppid=32089 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32101/stat : 32101 (java) S 32089 32089 30753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151187753 26628161536 11739 33554432000 4194304 4196468 140725119748560 139747326278128 139748064651906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32102] ppid=32089 vsize=26004064 memory=279315816326800 CPUtime=0 cores=0-7 /proc/32091/task/32102/stat : 32102 (java) S 32089 32089 30753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151187753 26628161536 11739 33554432000 4194304 4196468 140725119748560 139747325224352 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32103] ppid=32089 vsize=26004064 memory=279315816333712 CPUtime=0 cores=0-7 /proc/32091/task/32103/stat : 32103 (java) S 32089 32089 30753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151187753 26628161536 11739 33554432000 4194304 4196468 140725119748560 139747324171760 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32104] ppid=32089 vsize=26004064 memory=279315816274992 CPUtime=0 cores=0-7 /proc/32091/task/32104/stat : 32104 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151187756 26628161536 11739 33554432000 4194304 4196468 140725119748560 139747323120336 139748064659355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32105] ppid=32089 vsize=26004064 memory=279315816347536 CPUtime=0.02 cores=0-7 /proc/32091/task/32105/stat : 32105 (java) S 32089 32089 30753 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 20 0 151187756 26628161536 11739 33554432000 4194304 4196468 140725119748560 139747322066928 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32106] ppid=32089 vsize=26004064 memory=279315816354448 CPUtime=0.02 cores=0-7 /proc/32091/task/32106/stat : 32106 (java) S 32089 32089 30753 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 20 0 151187756 26628161536 11739 33554432000 4194304 4196468 140725119748560 139747321014384 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32107] ppid=32089 vsize=26004064 memory=279315816352144 CPUtime=0.01 cores=0-7 /proc/32091/task/32107/stat : 32107 (java) S 32089 32089 30753 0 -1 1077944384 121 0 0 0 1 0 0 0 20 0 20 0 151187756 26628161536 11739 33554432000 4194304 4196468 140725119748560 139747319961840 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32108] ppid=32089 vsize=26004064 memory=279315816368304 CPUtime=0.12 cores=0-7 /proc/32091/task/32108/stat : 32108 (java) S 32089 32089 30753 0 -1 1077944384 1097 0 0 0 12 0 0 0 20 0 20 0 151187756 26628161536 11739 33554432000 4194304 4196468 140725119748560 139747318909296 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32109] ppid=32089 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32109/stat : 32109 (java) S 32089 32089 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151187756 26628161536 11739 33554432000 4194304 4196468 140725119748560 139747317856992 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32110] ppid=32089 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/32091/task/32110/stat : 32110 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151187756 26628161536 11803 33554432000 4194304 4196468 140725119748560 139747316804528 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 48340 KiB [startup+0.700921 s] /proc/loadavg: 7.46 6.42 3.95 4/201 32110 /proc/meminfo: memFree=23581884/32770624 swapFree=67108860/67108860 [pid=32089] ppid=32086 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32089/stat : 32089 (xcsp3-exec) S 32086 32089 30753 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151187750 9740288 346 33554432000 4194304 5098028 140730134122672 140730134120776 140205167821436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32489472 140730134131812 140730134132023 140730134132023 140730134134763 0 /proc/32089/statm: 2378 346 289 221 0 87 0 [pid=32091] ppid=32089 vsize=26539728 memory=169132 CPUtime=1.72 cores=0-7 /proc/32091/stat : 32091 (java) S 32089 32089 30753 0 -1 1077944320 13293 0 0 0 165 7 0 0 20 0 28 0 151187750 27176681472 42283 33554432000 4194304 4196468 140725119748560 140725119731104 139748064640759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 /proc/32091/statm: 6634932 42283 3223 1 0 6622166 0 [pid=32091/tid=32092] ppid=32089 vsize=26539728 memory=279315816726192 CPUtime=0.62 cores=0-7 /proc/32091/task/32092/stat : 32092 (java) S 32089 32089 30753 0 -1 1077944384 6392 0 0 0 59 3 0 0 20 0 28 0 151187750 27176681472 42283 33554432000 4194304 4196468 140725119748560 139748068881536 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32093] ppid=32089 vsize=26539728 memory=139657908364144 CPUtime=0 cores=0-7 /proc/32091/task/32093/stat : 32093 (java) S 32089 32089 30753 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 151187751 27176681472 42283 33554432000 4194304 4196468 140725119748560 139748036483856 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32094] ppid=32089 vsize=26539728 memory=0 CPUtime=0 cores=0-7 /proc/32091/task/32094/stat : 32094 (java) S 32089 32089 30753 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 151187751 27176681472 42283 33554432000 4194304 4196468 140725119748560 139747622169488 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32095] ppid=32089 vsize=26539728 memory=8740 CPUtime=0 cores=0-7 /proc/32091/task/32095/stat : 32095 (java) S 32089 32089 30753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 151187751 27176681472 42283 33554432000 4194304 4196468 140725119748560 139747621116944 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 ################ # More data... # ################ [pid=32091/tid=32200] ppid=32089 vsize=26539728 memory=8292088525465231505 CPUtime=1.65 cores=0-7 /proc/32091/task/32200/stat : 32200 (java) R 32089 32089 30753 0 -1 4202560 19 0 0 0 165 0 0 0 20 0 28 0 151187833 27176681472 60585 33554432000 4194304 4196468 140725119748560 139747305640400 139747707595440 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32201] ppid=32089 vsize=26539728 memory=1399103955520229747 CPUtime=1.66 cores=0-7 /proc/32091/task/32201/stat : 32201 (java) S 32089 32089 30753 0 -1 1077944384 18 0 0 0 166 0 0 0 20 0 28 0 151187833 27176681472 60585 33554432000 4194304 4196468 140725119748560 139747307744848 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32202] ppid=32089 vsize=26539728 memory=4640467252704989264 CPUtime=1.55 cores=0-7 /proc/32091/task/32202/stat : 32202 (java) R 32089 32089 30753 0 -1 4202560 47 0 0 0 155 0 0 0 20 0 28 0 151187833 27176681472 60585 33554432000 4194304 4196468 140725119748560 139747303534288 139747708241420 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32203] ppid=32089 vsize=26539728 memory=7380671248541445222 CPUtime=1.76 cores=0-7 /proc/32091/task/32203/stat : 32203 (java) R 32089 32089 30753 0 -1 4202560 20 0 0 0 176 0 0 0 20 0 28 0 151187833 27176681472 60585 33554432000 4194304 4196468 140725119748560 139747306692320 139747706275358 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32204] ppid=32089 vsize=26539728 memory=5931329015123165280 CPUtime=1.78 cores=0-7 /proc/32091/task/32204/stat : 32204 (java) R 32089 32089 30753 0 -1 4202560 20 0 0 0 178 0 0 0 20 0 28 0 151187833 27176681472 60585 33554432000 4194304 4196468 140725119748560 139747302481872 139747708189486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32205] ppid=32089 vsize=26539728 memory=139662315697791 CPUtime=1.86 cores=0-7 /proc/32091/task/32205/stat : 32205 (java) S 32089 32089 30753 0 -1 1077944384 24 0 0 0 186 0 0 0 20 0 28 0 151187833 27176681472 60585 33554432000 4194304 4196468 140725119748560 139747300376656 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32206] ppid=32089 vsize=26539728 memory=7092719061719280209 CPUtime=1.57 cores=0-7 /proc/32091/task/32206/stat : 32206 (java) R 32089 32089 30753 0 -1 4202560 18 0 0 0 157 0 0 0 20 0 28 0 151187834 27176681472 60585 33554432000 4194304 4196468 140725119748560 139747308798160 139747707595217 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 Current children cumulated CPU time: 20.21 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 243724 KiB [startup+6.30118 s] /proc/loadavg: 6.94 6.33 3.94 7/209 32206 /proc/meminfo: memFree=23398912/32770624 swapFree=67108860/67108860 [pid=32089] ppid=32086 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32089/stat : 32089 (xcsp3-exec) S 32086 32089 30753 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151187750 9740288 346 33554432000 4194304 5098028 140730134122672 140730134120776 140205167821436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32489472 140730134131812 140730134132023 140730134132023 140730134134763 0 /proc/32089/statm: 2378 346 289 221 0 87 0 [pid=32091] ppid=32089 vsize=26539728 memory=250592 CPUtime=42.67 cores=0-7 /proc/32091/stat : 32091 (java) S 32089 32089 30753 0 -1 1077944320 33328 0 0 0 4214 53 0 0 20 0 28 0 151187750 27176681472 62648 33554432000 4194304 4196468 140725119748560 140725119731104 139748064640759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 /proc/32091/statm: 6634932 62648 3274 1 0 6622166 0 [pid=32091/tid=32092] ppid=32089 vsize=26539728 memory=0 CPUtime=0.63 cores=0-7 /proc/32091/task/32092/stat : 32092 (java) S 32089 32089 30753 0 -1 1077944384 6392 0 0 0 60 3 0 0 20 0 28 0 151187750 27176681472 62648 33554432000 4194304 4196468 140725119748560 139748068881536 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32093] ppid=32089 vsize=26539728 memory=1 CPUtime=0.01 cores=0-7 /proc/32091/task/32093/stat : 32093 (java) S 32089 32089 30753 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 28 0 151187751 27176681472 62648 33554432000 4194304 4196468 140725119748560 139748036483856 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32094] ppid=32089 vsize=26539728 memory=1 CPUtime=0.01 cores=0-7 /proc/32091/task/32094/stat : 32094 (java) S 32089 32089 30753 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 28 0 151187751 27176681472 62648 33554432000 4194304 4196468 140725119748560 139747622169488 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32095] ppid=32089 vsize=26539728 memory=0 CPUtime=0.01 cores=0-7 /proc/32091/task/32095/stat : 32095 (java) S 32089 32089 30753 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 28 0 151187751 27176681472 62648 33554432000 4194304 4196468 140725119748560 139747621116944 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32096] ppid=32089 vsize=26539728 memory=1 CPUtime=0.02 cores=0-7 /proc/32091/task/32096/stat : 32096 (java) S 32089 32089 30753 0 -1 1077944384 55 0 0 0 1 1 0 0 20 0 28 0 151187751 27176681472 62648 33554432000 4194304 4196468 140725119748560 139747620064400 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32097] ppid=32089 vsize=26539728 memory=57 CPUtime=0.02 cores=0-7 /proc/32091/task/32097/stat : 32097 (java) S 32089 32089 30753 0 -1 1077944384 45 0 0 0 1 1 0 0 20 0 28 0 151187751 27176681472 62648 33554432000 4194304 4196468 140725119748560 139747619010832 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32098] ppid=32089 vsize=26539728 memory=-2672971631320983069 CPUtime=0.01 cores=0-7 /proc/32091/task/32098/stat : 32098 (java) S 32089 32089 30753 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 28 0 151187751 27176681472 62648 33554432000 4194304 4196468 140725119748560 139747617958288 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32099] ppid=32089 vsize=26539728 memory=-2331055268852096867 CPUtime=0.01 cores=0-7 /proc/32091/task/32099/stat : 32099 (java) S 32089 32089 30753 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 28 0 151187751 27176681472 62648 33554432000 4194304 4196468 140725119748560 139747616905744 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32100] ppid=32089 vsize=26539728 memory=-3042783220307104087 CPUtime=0.02 cores=0-7 /proc/32091/task/32100/stat : 32100 (java) S 32089 32089 30753 0 -1 1077944384 717 0 0 0 1 1 0 0 20 0 28 0 151187751 27176681472 62648 33554432000 4194304 4196468 140725119748560 139747615853200 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32101] ppid=32089 vsize=26539728 memory=4874536186311133265 CPUtime=0.01 cores=0-7 /proc/32091/task/32101/stat : 32101 (java) R 32089 32089 30753 0 -1 4202560 197 0 0 0 1 0 0 0 20 0 28 0 151187753 27176681472 62648 33554432000 4194304 4196468 140725119748560 139747326276640 139748049768049 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32102] ppid=32089 vsize=26539728 memory=1384 CPUtime=0 cores=0-7 /proc/32091/task/32102/stat : 32102 (java) S 32089 32089 30753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151187753 27176681472 62648 33554432000 4194304 4196468 140725119748560 139747325224416 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32103] ppid=32089 vsize=26539728 memory=214600 CPUtime=0 cores=0-7 /proc/32091/task/32103/stat : 32103 (java) S 32089 32089 30753 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151187753 27176681472 62648 33554432000 4194304 4196468 140725119748560 139747324171776 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32104] ppid=32089 vsize=26539728 memory=25180 CPUtime=0 cores=0-7 /proc/32091/task/32104/stat : 32104 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151187756 27176681472 62648 33554432000 4194304 4196468 140725119748560 139747323120336 139748064659355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32105] ppid=32089 vsize=26539728 memory=0 CPUtime=1.72 cores=0-7 /proc/32091/task/32105/stat : 32105 (java) S 32089 32089 30753 0 -1 1077944384 5286 0 0 0 171 1 0 0 20 0 28 0 151187756 27176681472 62648 33554432000 4194304 4196468 140725119748560 139747322066928 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32106] ppid=32089 vsize=26539728 memory=0 CPUtime=1.77 cores=0-7 /proc/32091/task/32106/stat : 32106 (java) S 32089 32089 30753 0 -1 1077944384 5568 0 0 0 176 1 0 0 20 0 28 0 151187756 27176681472 62648 33554432000 4194304 4196468 140725119748560 139747321014384 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32107] ppid=32089 vsize=26539728 memory=276613073795986 CPUtime=1.45 cores=0-7 /proc/32091/task/32107/stat : 32107 (java) S 32089 32089 30753 0 -1 1077944384 5238 0 0 0 144 1 0 0 20 0 28 0 151187756 27176681472 62648 33554432000 4194304 4196468 140725119748560 139747319961840 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32108] ppid=32089 vsize=26539728 memory=6944652177228980320 CPUtime=0.68 cores=0-7 /proc/32091/task/32108/stat : 32108 (java) S 32089 32089 30753 0 -1 1077944384 3615 0 0 0 67 1 0 0 20 0 28 0 151187756 27176681472 62648 33554432000 4194304 4196468 140725119748560 139747318909296 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32109] ppid=32089 vsize=26539728 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/32091/task/32109/stat : 32109 (java) S 32089 32089 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151187756 27176681472 62648 33554432000 4194304 4196468 140725119748560 139747317856992 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32110] ppid=32089 vsize=26539728 memory=6944656592385698452 CPUtime=0 cores=0-7 /proc/32091/task/32110/stat : 32110 (java) S 32089 32089 30753 0 -1 1077944384 911 0 0 0 0 0 0 0 20 0 28 0 151187756 27176681472 61624 33554432000 4194304 4196468 140725119748560 139747316804528 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32199] ppid=32089 vsize=26539728 memory=6933690279252828305 CPUtime=4.12 cores=0-7 /proc/32091/task/32199/stat : 32199 (java) S 32089 32089 30753 0 -1 1077944384 89 0 0 0 408 4 0 0 20 0 28 0 151187833 27176681472 61240 33554432000 4194304 4196468 140725119748560 139747304586464 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32200] ppid=32089 vsize=26539728 memory=-7449383003082255508 CPUtime=4.34 cores=0-7 /proc/32091/task/32200/stat : 32200 (java) S 32089 32089 30753 0 -1 1077944384 93 0 0 0 429 5 0 0 20 0 28 0 151187833 27176681472 61240 33554432000 4194304 4196468 140725119748560 139747305640320 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32201] ppid=32089 vsize=26539728 memory=279315816798720 CPUtime=4.43 cores=0-7 /proc/32091/task/32201/stat : 32201 (java) S 32089 32089 30753 0 -1 1077944384 442 0 0 0 438 5 0 0 20 0 28 0 151187833 27176681472 61240 33554432000 4194304 4196468 140725119748560 139747307744848 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32202] ppid=32089 vsize=26539728 memory=279315816120560 CPUtime=4.34 cores=0-7 /proc/32091/task/32202/stat : 32202 (java) S 32089 32089 30753 0 -1 1077944384 351 0 0 0 431 3 0 0 20 0 28 0 151187833 27176681472 61240 33554432000 4194304 4196468 140725119748560 139747303534048 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32203] ppid=32089 vsize=26539728 memory=-7606742959547834223 CPUtime=4.55 cores=0-7 /proc/32091/task/32203/stat : 32203 (java) S 32089 32089 30753 0 -1 1077944384 261 0 0 0 451 4 0 0 20 0 28 0 151187833 27176681472 61237 33554432000 4194304 4196468 140725119748560 139747306692192 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32204] ppid=32089 vsize=26539728 memory=8292088525465231505 CPUtime=4.46 cores=0-7 /proc/32091/task/32204/stat : 32204 (java) S 32089 32089 30753 0 -1 1077944384 139 0 0 0 441 5 0 0 20 0 28 0 151187833 27176681472 61237 33554432000 4194304 4196468 140725119748560 139747302481632 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32205] ppid=32089 vsize=26539728 memory=1399103955520229747 CPUtime=4.79 cores=0-7 /proc/32091/task/32205/stat : 32205 (java) S 32089 32089 30753 0 -1 1077944384 181 0 0 0 477 2 0 0 20 0 28 0 151187833 27176681472 61237 33554432000 4194304 4196468 140725119748560 139747300374704 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32206] ppid=32089 vsize=26539728 memory=4144 CPUtime=4.3 cores=0-7 /proc/32091/task/32206/stat : 32206 (java) S 32089 32089 30753 0 -1 1077944384 103 0 0 0 426 4 0 0 20 0 28 0 151187834 27176681472 61237 33554432000 4194304 4196468 140725119748560 139747308794704 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 Current children cumulated CPU time: 42.67 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 251976 KiB [startup+6.47235 s] # the end of solver process 32089 was just reported to runsolver # cumulated CPU time of all completed processes: user=43.1953 s, system=0.576437 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40147 s] /proc/loadavg: 6.94 6.33 3.94 7/209 32206 /proc/meminfo: memFree=23398912/32770624 swapFree=67108860/67108860 [pid=32089] ppid=32086 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/32089/stat : 32089 (xcsp3-exec) S 32086 32089 30753 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151187750 9740288 346 33554432000 4194304 5098028 140730134122672 140730134120776 140205167821436 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32489472 140730134131812 140730134132023 140730134132023 140730134134763 0 /proc/32089/statm: 2378 346 289 221 0 87 0 [pid=32091] ppid=32089 vsize=26539728 memory=244996 CPUtime=43.32 cores=0-7 /proc/32091/stat : 32091 (java) S 32089 32089 30753 0 -1 1077944320 33427 0 0 0 4278 54 0 0 20 0 28 0 151187750 27176681472 61249 33554432000 4194304 4196468 140725119748560 140725119731104 139748064640759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 /proc/32091/statm: 6634932 61249 3274 1 0 6622166 0 [pid=32091/tid=32092] ppid=32089 vsize=26539728 memory=6791534058613427641 CPUtime=0.63 cores=0-7 /proc/32091/task/32092/stat : 32092 (java) S 32089 32089 30753 0 -1 1077944384 6392 0 0 0 60 3 0 0 20 0 28 0 151187750 27176681472 61249 33554432000 4194304 4196468 140725119748560 139748068881536 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32093] ppid=32089 vsize=26539728 memory=178 CPUtime=0.01 cores=0-7 /proc/32091/task/32093/stat : 32093 (java) S 32089 32089 30753 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 28 0 151187751 27176681472 61249 33554432000 4194304 4196468 140725119748560 139748036483856 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32094] ppid=32089 vsize=26539728 memory=5199 CPUtime=0.01 cores=0-7 /proc/32091/task/32094/stat : 32094 (java) S 32089 32089 30753 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 28 0 151187751 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747622169488 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32095] ppid=32089 vsize=26539728 memory=452 CPUtime=0.01 cores=0-7 /proc/32091/task/32095/stat : 32095 (java) S 32089 32089 30753 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 28 0 151187751 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747621116944 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32096] ppid=32089 vsize=26539728 memory=41 CPUtime=0.02 cores=0-7 /proc/32091/task/32096/stat : 32096 (java) S 32089 32089 30753 0 -1 1077944384 55 0 0 0 1 1 0 0 20 0 28 0 151187751 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747620064400 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32097] ppid=32089 vsize=26539728 memory=215 CPUtime=0.02 cores=0-7 /proc/32091/task/32097/stat : 32097 (java) S 32089 32089 30753 0 -1 1077944384 45 0 0 0 1 1 0 0 20 0 28 0 151187751 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747619010832 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32098] ppid=32089 vsize=26539728 memory=123 CPUtime=0.01 cores=0-7 /proc/32091/task/32098/stat : 32098 (java) S 32089 32089 30753 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 28 0 151187751 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747617958288 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32099] ppid=32089 vsize=26539728 memory=0 CPUtime=0.01 cores=0-7 /proc/32091/task/32099/stat : 32099 (java) S 32089 32089 30753 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 28 0 151187751 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747616905744 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32100] ppid=32089 vsize=26539728 memory=713 CPUtime=0.02 cores=0-7 /proc/32091/task/32100/stat : 32100 (java) S 32089 32089 30753 0 -1 1077944384 717 0 0 0 1 1 0 0 20 0 28 0 151187751 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747615853200 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32101] ppid=32089 vsize=26539728 memory=1458 CPUtime=0.01 cores=0-7 /proc/32091/task/32101/stat : 32101 (java) S 32089 32089 30753 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 28 0 151187753 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747326278128 139748064651906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32102] ppid=32089 vsize=26539728 memory=279315816420016 CPUtime=0 cores=0-7 /proc/32091/task/32102/stat : 32102 (java) S 32089 32089 30753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151187753 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747325224416 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32103] ppid=32089 vsize=26539728 memory=1384 CPUtime=0 cores=0-7 /proc/32091/task/32103/stat : 32103 (java) S 32089 32089 30753 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151187753 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747324171776 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32104] ppid=32089 vsize=26539728 memory=242348 CPUtime=0 cores=0-7 /proc/32091/task/32104/stat : 32104 (java) S 32089 32089 30753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151187756 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747323120336 139748064659355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32105] ppid=32089 vsize=26539728 memory=0 CPUtime=1.72 cores=0-7 /proc/32091/task/32105/stat : 32105 (java) S 32089 32089 30753 0 -1 1077944384 5286 0 0 0 171 1 0 0 20 0 28 0 151187756 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747322066928 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32106] ppid=32089 vsize=26539728 memory=14 CPUtime=1.77 cores=0-7 /proc/32091/task/32106/stat : 32106 (java) S 32089 32089 30753 0 -1 1077944384 5568 0 0 0 176 1 0 0 20 0 28 0 151187756 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747321014384 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32107] ppid=32089 vsize=26539728 memory=0 CPUtime=1.48 cores=0-7 /proc/32091/task/32107/stat : 32107 (java) S 32089 32089 30753 0 -1 1077944384 5337 0 0 0 147 1 0 0 20 0 28 0 151187756 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747319961840 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32108] ppid=32089 vsize=26539728 memory=3365 CPUtime=0.68 cores=0-7 /proc/32091/task/32108/stat : 32108 (java) S 32089 32089 30753 0 -1 1077944384 3615 0 0 0 67 1 0 0 20 0 28 0 151187756 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747318909296 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32109] ppid=32089 vsize=26539728 memory=63 CPUtime=0 cores=0-7 /proc/32091/task/32109/stat : 32109 (java) S 32089 32089 30753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151187756 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747317856992 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32110] ppid=32089 vsize=26539728 memory=1 CPUtime=0 cores=0-7 /proc/32091/task/32110/stat : 32110 (java) S 32089 32089 30753 0 -1 1077944384 911 0 0 0 0 0 0 0 20 0 28 0 151187756 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747316804528 139748064651906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32199] ppid=32089 vsize=26539728 memory=0 CPUtime=4.19 cores=0-7 /proc/32091/task/32199/stat : 32199 (java) R 32089 32089 30753 0 -1 4202560 89 0 0 0 415 4 0 0 20 0 28 0 151187833 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747304586464 139747706274182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32200] ppid=32089 vsize=26539728 memory=0 CPUtime=4.43 cores=0-7 /proc/32091/task/32200/stat : 32200 (java) R 32089 32089 30753 0 -1 1077944384 93 0 0 0 438 5 0 0 20 0 28 0 151187833 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747305640400 139748064650965 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32201] ppid=32089 vsize=26539728 memory=0 CPUtime=4.51 cores=0-7 /proc/32091/task/32201/stat : 32201 (java) R 32089 32089 30753 0 -1 4202560 442 0 0 0 446 5 0 0 20 0 28 0 151187833 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747307744848 139747701550616 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32202] ppid=32089 vsize=26539728 memory=1384 CPUtime=4.43 cores=0-7 /proc/32091/task/32202/stat : 32202 (java) S 32089 32089 30753 0 -1 1077944384 351 0 0 0 440 3 0 0 20 0 28 0 151187833 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747303534288 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32203] ppid=32089 vsize=26539728 memory=214268 CPUtime=4.63 cores=0-7 /proc/32091/task/32203/stat : 32203 (java) R 32089 32089 30753 0 -1 4202560 261 0 0 0 459 4 0 0 20 0 28 0 151187833 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747306692432 139748064652694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32204] ppid=32089 vsize=26539728 memory=0 CPUtime=4.53 cores=0-7 /proc/32091/task/32204/stat : 32204 (java) R 32089 32089 30753 0 -1 4202560 139 0 0 0 448 5 0 0 20 0 28 0 151187833 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747302481776 139747708255304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32205] ppid=32089 vsize=26539728 memory=0 CPUtime=4.88 cores=0-7 /proc/32091/task/32205/stat : 32205 (java) R 32089 32089 30753 0 -1 4202560 181 0 0 0 486 2 0 0 20 0 28 0 151187833 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747300376656 139748049141680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 [pid=32091/tid=32206] ppid=32089 vsize=26539728 memory=0 CPUtime=4.37 cores=0-7 /proc/32091/task/32206/stat : 32206 (java) S 32089 32089 30753 0 -1 1077944384 103 0 0 0 433 4 0 0 20 0 28 0 151187834 27176681472 61249 33554432000 4194304 4196468 140725119748560 139747308798160 139748064650965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12427264 140725119751314 140725119751491 140725119751491 140725119754191 0 Current children cumulated CPU time: 43.32 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 246380 KiB Child status: 0 Real time (s): 6.47241 CPU time (s): 43.7718 CPU user time (s): 43.1953 CPU system time (s): 0.576437 CPU usage (%): 676.283 Max. virtual memory (cumulated for all children) (KiB): 26549240 Max. memory (cumulated for all children) (KiB): 251976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 43.1953 system time used= 0.576437 maximum resident set size= 250772 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34534 page faults= 0 swaps= 0 block input operations= 0 block output operations= 120 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 130740 involuntary context switches= 629 # summary of solver processes directly reported to runsolver: # pid: 32089 # total CPU time (s): 43.7718 # total CPU user time (s): 43.1953 # total CPU system time (s): 0.576437 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.081004 second user time and 0.110633 second system time The end
Begin job on node149 at 2017-08-20 00:03:30 IDJOB=4281184 IDBENCH=140550 IDSOLVER=2675 FILE ID=node149/4281184-1503181070 RUNJOBID= node149-1503176429-30780 PBS_JOBID= 20630847 Free space on /tmp= 61768 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Rack/Rack-m1c-s1/Rack-m1c-r2.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-4281184-1503181070/watcher-4281184-1503181070 -o /tmp/evaluation-result-4281184-1503181070/solver-4281184-1503181070 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503176429-30780 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1232487169 HOME/instance-4281184-1503181070.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a7a611711d538e27d6e463316b2ea293 RANDOM SEED=1232487169 node149.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: 23630476 kB MemAvailable: 31949752 kB Buffers: 283096 kB Cached: 8308024 kB SwapCached: 0 kB Active: 2138372 kB Inactive: 6508888 kB Active(anon): 5004 kB Inactive(anon): 87504 kB Active(file): 2133368 kB Inactive(file): 6421384 kB Unevictable: 7916 kB Mlocked: 7916 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7936 kB Writeback: 0 kB AnonPages: 62724 kB Mapped: 51296 kB Shmem: 33416 kB Slab: 187720 kB SReclaimable: 160720 kB SUnreclaim: 27000 kB KernelStack: 3456 kB PageTables: 5108 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 334068 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 97664 kB DirectMap2M: 33447936 kB Free space on /tmp at the end= 61764 MiB End job on node149 at 2017-08-20 00:03:37