Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | ? (TO) | 18790.2 | 2520.22 |
Name | BinPacking/ BinPacking-mdd-fu/BinPacking-mdd-fu1000-02.xml |
MD5SUM | 81a54afd524339631fcda48b56d1b2da |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4061 |
Number of constraints | 583 |
Number of domains | 2 |
Minimum domain size | 82 |
Maximum domain size | 581 |
Distribution of domain sizes | [{"size":82,"count":4060},{"size":581,"count":1}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":3480},{"degree":4,"count":580}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 4060 |
Distribution of constraint arities | [{"arity":7,"count":580},{"arity":581,"count":1},{"arity":4060,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"mdd","count":580},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}] |
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-4394596-1568441052.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394596-1568441052.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 125.95/100.86 c solve instance... 18789.48/2520.07 s UNKNOWN 18789.48/2520.07 c Unexpected resolution interruption!
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 (14133 MiB free) memory of node 1: 16384 MiB (15721 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394596-1568441052/watcher-4394596-1568441052 -o /tmp/evaluation-result-4394596-1568441052/solver-4394596-1568441052 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568441012-2984 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 645613404 HOME/instance-4394596-1568441052.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=3001, runsolver pid=2998 Current StackSize limit: 8192 KiB [startup+0.100161 s]* /proc/loadavg: 8.59 8.34 8.24 3/213 3022 /proc/meminfo: memFree=30555456/32770624 swapFree=67022052/67108860 [pid=3001] ppid=2998 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/3001/stat : 3001 (xcsp3-exec) S 2998 3001 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420377818 115843072 364 33554432000 4194304 5098028 140735517357856 140735517355960 140631380316796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38436864 140735517365110 140735517365353 140735517365353 140735517368266 0 /proc/3001/statm: 28282 364 305 221 0 87 0 [pid=3003] ppid=3001 vsize=28227388 memory=28948 CPUtime=0.12 cores=0-7 /proc/3003/stat : 3003 (java) S 3001 3001 2957 0 -1 1077944320 5703 0 0 0 11 1 0 0 20 0 20 0 420377819 28904845312 7237 33554432000 4194304 4196468 140734939676912 140734939659456 140581486804727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 /proc/3003/statm: 7056847 7237 3114 1 0 7019032 0 [pid=3003/tid=3004] ppid=3001 vsize=28227388 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/3003/task/3004/stat : 3004 (java) R 3001 3001 2957 0 -1 4202560 3627 0 0 0 8 0 0 0 20 0 20 0 420377819 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581491030688 140581470848357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3005] ppid=3001 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/3003/task/3005/stat : 3005 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581406657296 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3006] ppid=3001 vsize=28227388 memory=140444124853888 CPUtime=0 cores=0-7 /proc/3003/task/3006/stat : 3006 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581405604752 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3007] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3007/stat : 3007 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581404552208 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3008] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3008/stat : 3008 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581403499664 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3009] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3009/stat : 3009 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581402446096 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3010] ppid=3001 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/3003/task/3010/stat : 3010 (java) S 3001 3001 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581401393552 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3011] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3011/stat : 3011 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581400341008 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3012] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3012/stat : 3012 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581399288464 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3013] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3013/stat : 3013 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377821 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580871059952 140581486815874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3014] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3014/stat : 3014 (java) S 3001 3001 2957 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420377822 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580870006176 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3015] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3015/stat : 3015 (java) S 3001 3001 2957 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420377822 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580868953584 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3016] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3016/stat : 3016 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377824 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580867902160 140581486823323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3017] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3017/stat : 3017 (java) S 3001 3001 2957 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 420377824 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580866848752 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3018] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3018/stat : 3018 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377824 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580865796208 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3019] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3019/stat : 3019 (java) R 3001 3001 2957 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 20 0 420377824 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580864743664 140581479789769 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3020] ppid=3001 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/3003/task/3020/stat : 3020 (java) R 3001 3001 2957 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 20 0 420377824 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580863691120 140581486816662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3021] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3021/stat : 3021 (java) S 3001 3001 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420377825 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580862638816 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3022] ppid=3001 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/3003/task/3022/stat : 3022 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377825 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580861586352 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30404 KiB [startup+0.20991 s]* /proc/loadavg: 8.59 8.34 8.24 3/213 3022 /proc/meminfo: memFree=30543268/32770624 swapFree=67022052/67108860 [pid=3001] ppid=2998 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/3001/stat : 3001 (xcsp3-exec) S 2998 3001 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420377818 115843072 364 33554432000 4194304 5098028 140735517357856 140735517355960 140631380316796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38436864 140735517365110 140735517365353 140735517365353 140735517368266 0 /proc/3001/statm: 28282 364 305 221 0 87 0 [pid=3003] ppid=3001 vsize=28227388 memory=40400 CPUtime=0.33 cores=0-7 /proc/3003/stat : 3003 (java) S 3001 3001 2957 0 -1 1077944320 9331 0 0 0 31 2 0 0 20 0 20 0 420377819 28904845312 10100 33554432000 4194304 4196468 140734939676912 140734939659456 140581486804727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 /proc/3003/statm: 7056847 10100 3264 1 0 7019032 0 [pid=3003/tid=3004] ppid=3001 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/3003/task/3004/stat : 3004 (java) R 3001 3001 2957 0 -1 4202560 6605 0 0 0 18 1 0 0 20 0 20 0 420377819 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581491035968 140581486816662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3005] ppid=3001 vsize=28227388 memory=331 CPUtime=0 cores=0-7 /proc/3003/task/3005/stat : 3005 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581406657296 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3006] ppid=3001 vsize=28227388 memory=140444124859670 CPUtime=0 cores=0-7 /proc/3003/task/3006/stat : 3006 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581405604752 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3007] ppid=3001 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/3003/task/3007/stat : 3007 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581404552208 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3008] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3008/stat : 3008 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581403499664 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3009] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3009/stat : 3009 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581402446096 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3010] ppid=3001 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/3003/task/3010/stat : 3010 (java) S 3001 3001 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581401393552 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3011] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3011/stat : 3011 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581400341008 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3012] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3012/stat : 3012 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581399288464 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3013] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3013/stat : 3013 (java) S 3001 3001 2957 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420377821 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580871059952 140581486815874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3014] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3014/stat : 3014 (java) S 3001 3001 2957 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420377822 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580870006176 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3015] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3015/stat : 3015 (java) S 3001 3001 2957 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420377822 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580868953584 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3016] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3016/stat : 3016 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377824 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580867902160 140581486823323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3017] ppid=3001 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/3003/task/3017/stat : 3017 (java) S 3001 3001 2957 0 -1 1077944384 400 0 0 0 2 0 0 0 20 0 20 0 420377824 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580866848752 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3018] ppid=3001 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/3003/task/3018/stat : 3018 (java) S 3001 3001 2957 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 420377824 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580865796208 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3019] ppid=3001 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/3003/task/3019/stat : 3019 (java) S 3001 3001 2957 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 20 0 420377824 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580864743664 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3020] ppid=3001 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/3003/task/3020/stat : 3020 (java) R 3001 3001 2957 0 -1 4202560 795 0 0 0 7 0 0 0 20 0 20 0 420377824 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580863690928 140581465484897 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3021] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3021/stat : 3021 (java) S 3001 3001 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420377825 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580862638816 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3022] ppid=3001 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/3003/task/3022/stat : 3022 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377825 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580861586352 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41856 KiB [startup+0.309673 s]* /proc/loadavg: 8.59 8.34 8.24 3/213 3022 /proc/meminfo: memFree=30536368/32770624 swapFree=67022052/67108860 [pid=3001] ppid=2998 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/3001/stat : 3001 (xcsp3-exec) S 2998 3001 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420377818 115843072 364 33554432000 4194304 5098028 140735517357856 140735517355960 140631380316796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38436864 140735517365110 140735517365353 140735517365353 140735517368266 0 /proc/3001/statm: 28282 364 305 221 0 87 0 [pid=3003] ppid=3001 vsize=28231644 memory=49896 CPUtime=0.52 cores=0-7 /proc/3003/stat : 3003 (java) S 3001 3001 2957 0 -1 1077944320 10829 0 0 0 49 3 0 0 20 0 20 0 420377819 28909203456 12474 33554432000 4194304 4196468 140734939676912 140734939659456 140581486804727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 /proc/3003/statm: 7057911 12474 3371 1 0 7019032 0 [pid=3003/tid=3004] ppid=3001 vsize=28231644 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/3003/task/3004/stat : 3004 (java) R 3001 3001 2957 0 -1 4202560 7791 0 0 0 27 2 0 0 20 0 20 0 420377819 28909203456 12539 33554432000 4194304 4196468 140734939676912 140581491038592 140581486826653 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3005] ppid=3001 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3005/stat : 3005 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28909203456 12539 33554432000 4194304 4196468 140734939676912 140581406657296 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3006] ppid=3001 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3006/stat : 3006 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28909203456 12539 33554432000 4194304 4196468 140734939676912 140581405604752 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3007] ppid=3001 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3007/stat : 3007 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28909203456 12539 33554432000 4194304 4196468 140734939676912 140581404552208 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3008] ppid=3001 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3008/stat : 3008 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28909203456 12539 33554432000 4194304 4196468 140734939676912 140581403499664 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3009] ppid=3001 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/3003/task/3009/stat : 3009 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28909203456 12543 33554432000 4194304 4196468 140734939676912 140581402446096 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3010] ppid=3001 vsize=28231644 memory=140444021388207 CPUtime=0 cores=0-7 /proc/3003/task/3010/stat : 3010 (java) S 3001 3001 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420377820 28909203456 12543 33554432000 4194304 4196468 140734939676912 140581401393552 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3011] ppid=3001 vsize=28231644 memory=140444021390512 CPUtime=0 cores=0-7 /proc/3003/task/3011/stat : 3011 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28909203456 12543 33554432000 4194304 4196468 140734939676912 140581400341008 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3012] ppid=3001 vsize=28231644 memory=140444021392816 CPUtime=0 cores=0-7 /proc/3003/task/3012/stat : 3012 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28909203456 12543 33554432000 4194304 4196468 140734939676912 140581399288464 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3013] ppid=3001 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3013/stat : 3013 (java) S 3001 3001 2957 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420377821 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580871059952 140581486815874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3014] ppid=3001 vsize=28231644 memory=280888042792592 CPUtime=0 cores=0-7 /proc/3003/task/3014/stat : 3014 (java) S 3001 3001 2957 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420377822 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580870006176 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3015] ppid=3001 vsize=28231644 memory=280888042799504 CPUtime=0 cores=0-7 /proc/3003/task/3015/stat : 3015 (java) S 3001 3001 2957 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420377822 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580868953584 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3016] ppid=3001 vsize=28231644 memory=280888042740784 CPUtime=0 cores=0-7 /proc/3003/task/3016/stat : 3016 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377824 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580867902160 140581486823323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3017] ppid=3001 vsize=28231644 memory=280888042813328 CPUtime=0.04 cores=0-7 /proc/3003/task/3017/stat : 3017 (java) R 3001 3001 2957 0 -1 4202560 486 0 0 0 4 0 0 0 20 0 20 0 420377824 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580866829768 140581464065984 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3018] ppid=3001 vsize=28231644 memory=280888042820240 CPUtime=0.02 cores=0-7 /proc/3003/task/3018/stat : 3018 (java) S 3001 3001 2957 0 -1 1077944384 86 0 0 0 2 0 0 0 20 0 20 0 420377824 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580865796208 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3019] ppid=3001 vsize=28231644 memory=280888042817936 CPUtime=0.02 cores=0-7 /proc/3003/task/3019/stat : 3019 (java) S 3001 3001 2957 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 20 0 420377824 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580864743664 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3020] ppid=3001 vsize=28231644 memory=280888042834096 CPUtime=0.12 cores=0-7 /proc/3003/task/3020/stat : 3020 (java) S 3001 3001 2957 0 -1 1077944384 952 0 0 0 12 0 0 0 20 0 20 0 420377824 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580863691120 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3021] ppid=3001 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3021/stat : 3021 (java) S 3001 3001 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420377825 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580862638816 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3022] ppid=3001 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/3003/task/3022/stat : 3022 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377825 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580861586352 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51352 KiB [startup+0.700959 s] /proc/loadavg: 8.59 8.34 8.24 7/213 3022 /proc/meminfo: memFree=30514340/32770624 swapFree=67022052/67108860 [pid=3001] ppid=2998 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/3001/stat : 3001 (xcsp3-exec) S 2998 3001 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420377818 115843072 364 33554432000 4194304 5098028 140735517357856 140735517355960 140631380316796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38436864 140735517365110 140735517365353 140735517365353 140735517368266 0 /proc/3001/statm: 28282 364 305 221 0 87 0 [pid=3003] ppid=3001 vsize=28233768 memory=112024 CPUtime=1.87 cores=0-7 /proc/3003/stat : 3003 (java) S 3001 3001 2957 0 -1 1077944320 14103 0 0 0 182 5 0 0 20 0 20 0 420377819 28911378432 28006 33554432000 4194304 4196468 140734939676912 140734939659456 140581486804727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 /proc/3003/statm: 7058442 28006 3456 1 0 7019544 0 [pid=3003/tid=3004] ppid=3001 vsize=28233768 memory=280888043191984 CPUtime=0.68 cores=0-7 /proc/3003/task/3004/stat : 3004 (java) R 3001 3001 2957 0 -1 4202560 8395 0 0 0 65 3 0 0 20 0 20 0 420377819 28911378432 28006 33554432000 4194304 4196468 140734939676912 140581491041568 140581078439234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3005] ppid=3001 vsize=28233768 memory=140444021597040 CPUtime=0 cores=0-7 /proc/3003/task/3005/stat : 3005 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28911378432 28006 33554432000 4194304 4196468 140734939676912 140581406657296 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3006] ppid=3001 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/3003/task/3006/stat : 3006 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28911378432 28006 33554432000 4194304 4196468 140734939676912 140581405604752 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3007] ppid=3001 vsize=28233768 memory=1224 CPUtime=0 cores=0-7 /proc/3003/task/3007/stat : 3007 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28911378432 28006 33554432000 4194304 4196468 140734939676912 140581404552208 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 ################ # More data... # ################ /proc/meminfo: memFree=5681548/32770624 swapFree=67022120/67108860 [pid=3001] ppid=2998 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/3001/stat : 3001 (xcsp3-exec) S 2998 3001 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420377818 115843072 364 33554432000 4194304 5098028 140735517357856 140735517355960 140631380316796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38436864 140735517365110 140735517365353 140735517365353 140735517368266 0 /proc/3001/statm: 28282 364 305 221 0 87 0 [pid=3003] ppid=3001 vsize=28768328 memory=24863040 CPUtime=18648.2 cores=0-7 /proc/3003/stat : 3003 (java) S 3001 3001 2957 0 -1 1077944320 5237822 0 0 0 1858052 6769 0 0 20 0 28 0 420377819 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140734939659456 140581486804727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 /proc/3003/statm: 7192082 6215760 3559 1 0 7153184 0 [pid=3003/tid=3004] ppid=3001 vsize=28768328 memory=24863040 CPUtime=97.89 cores=0-7 /proc/3003/task/3004/stat : 3004 (java) S 3001 3001 2957 0 -1 1077944384 22647 0 0 0 9706 83 0 0 20 0 28 0 420377819 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581491045504 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3005] ppid=3001 vsize=28768328 memory=24863040 CPUtime=45.64 cores=0-7 /proc/3003/task/3005/stat : 3005 (java) S 3001 3001 2957 0 -1 1077944384 158899 0 0 0 4358 206 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581406657296 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3006] ppid=3001 vsize=28768328 memory=1456 CPUtime=45.81 cores=0-7 /proc/3003/task/3006/stat : 3006 (java) S 3001 3001 2957 0 -1 1077944384 143963 0 0 0 4365 216 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581405604752 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3007] ppid=3001 vsize=28768328 memory=24863040 CPUtime=45.65 cores=0-7 /proc/3003/task/3007/stat : 3007 (java) S 3001 3001 2957 0 -1 1077944384 134798 0 0 0 4355 210 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581404552208 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3008] ppid=3001 vsize=28768328 memory=0 CPUtime=45.78 cores=0-7 /proc/3003/task/3008/stat : 3008 (java) S 3001 3001 2957 0 -1 1077944384 147712 0 0 0 4251 327 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581403499664 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3009] ppid=3001 vsize=28768328 memory=1456 CPUtime=45.77 cores=0-7 /proc/3003/task/3009/stat : 3009 (java) S 3001 3001 2957 0 -1 1077944384 146798 0 0 0 4382 195 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581402446096 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3010] ppid=3001 vsize=28768328 memory=1456 CPUtime=45.8 cores=0-7 /proc/3003/task/3010/stat : 3010 (java) S 3001 3001 2957 0 -1 1077944384 160553 0 0 0 4368 212 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581401393552 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3011] ppid=3001 vsize=28768328 memory=7661589893946828906 CPUtime=45.71 cores=0-7 /proc/3003/task/3011/stat : 3011 (java) S 3001 3001 2957 0 -1 1077944384 162356 0 0 0 4330 241 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581400341008 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3012] ppid=3001 vsize=28768328 memory=6012141037175728746 CPUtime=45.78 cores=0-7 /proc/3003/task/3012/stat : 3012 (java) S 3001 3001 2957 0 -1 1077944384 145431 0 0 0 4350 228 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581399288464 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3013] ppid=3001 vsize=28768328 memory=280888043608480 CPUtime=93.39 cores=0-7 /proc/3003/task/3013/stat : 3013 (java) S 3001 3001 2957 0 -1 1077944384 103500 0 0 0 8139 1200 0 0 20 0 28 0 420377821 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580871059952 140581486815874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3014] ppid=3001 vsize=28768328 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/3003/task/3014/stat : 3014 (java) S 3001 3001 2957 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 420377822 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580870006240 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3015] ppid=3001 vsize=28768328 memory=26061861558194 CPUtime=0 cores=0-7 /proc/3003/task/3015/stat : 3015 (java) S 3001 3001 2957 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 28 0 420377822 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580868953600 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3016] ppid=3001 vsize=28768328 memory=7661589893946828906 CPUtime=0 cores=0-7 /proc/3003/task/3016/stat : 3016 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580867902160 140581486823323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3017] ppid=3001 vsize=28768328 memory=1456 CPUtime=4.42 cores=0-7 /proc/3003/task/3017/stat : 3017 (java) S 3001 3001 2957 0 -1 1077944384 35000 0 0 0 436 6 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580866848752 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3018] ppid=3001 vsize=28768328 memory=1360 CPUtime=4.61 cores=0-7 /proc/3003/task/3018/stat : 3018 (java) S 3001 3001 2957 0 -1 1077944384 39456 0 0 0 451 10 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580865796208 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3019] ppid=3001 vsize=28768328 memory=1572 CPUtime=5.08 cores=0-7 /proc/3003/task/3019/stat : 3019 (java) S 3001 3001 2957 0 -1 1077944384 38064 0 0 0 504 4 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580864743664 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3020] ppid=3001 vsize=28768328 memory=868 CPUtime=1.33 cores=0-7 /proc/3003/task/3020/stat : 3020 (java) S 3001 3001 2957 0 -1 1077944384 34788 0 0 0 125 8 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580863691120 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3021] ppid=3001 vsize=28768328 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/3003/task/3021/stat : 3021 (java) S 3001 3001 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420377825 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580862638816 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3022] ppid=3001 vsize=28768328 memory=1456 CPUtime=1.2 cores=0-7 /proc/3003/task/3022/stat : 3022 (java) S 3001 3001 2957 0 -1 1077944384 4140 0 0 0 62 58 0 0 20 0 28 0 420377825 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580861586352 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3031] ppid=3001 vsize=28768328 memory=2184 CPUtime=2249.22 cores=0-7 /proc/3003/task/3031/stat : 3031 (java) R 3001 3001 2957 0 -1 4202560 198828 0 0 0 224512 410 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579595771144 140581079863765 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3032] ppid=3001 vsize=28768328 memory=1844 CPUtime=2261.59 cores=0-7 /proc/3003/task/3032/stat : 3032 (java) R 3001 3001 2957 0 -1 4202560 134743 0 0 0 225895 264 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579594719224 140581079900064 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3033] ppid=3001 vsize=28768328 memory=24863040 CPUtime=2258.59 cores=0-7 /proc/3003/task/3033/stat : 3033 (java) R 3001 3001 2957 0 -1 4202560 759622 0 0 0 225154 705 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579593666344 140581083259833 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3034] ppid=3001 vsize=28768328 memory=24863040 CPUtime=2257.46 cores=0-7 /proc/3003/task/3034/stat : 3034 (java) R 3001 3001 2957 0 -1 4202560 360888 0 0 0 225232 514 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579592613272 140581079865362 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3035] ppid=3001 vsize=28768328 memory=1612 CPUtime=2260.98 cores=0-7 /proc/3003/task/3035/stat : 3035 (java) R 3001 3001 2957 0 -1 4202560 1102964 0 0 0 225696 402 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579591561064 140581077395713 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3036] ppid=3001 vsize=28768328 memory=1224 CPUtime=2270.98 cores=0-7 /proc/3003/task/3036/stat : 3036 (java) R 3001 3001 2957 0 -1 4202560 95850 0 0 0 226779 319 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579590508184 140581079865043 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3037] ppid=3001 vsize=28768328 memory=3824 CPUtime=2262.38 cores=0-7 /proc/3003/task/3037/stat : 3037 (java) R 3001 3001 2957 0 -1 4202560 737921 0 0 0 225766 472 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579589455256 140581079863207 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3038] ppid=3001 vsize=28768328 memory=1456 CPUtime=2252.92 cores=0-7 /proc/3003/task/3038/stat : 3038 (java) R 3001 3001 2957 0 -1 4202560 367430 0 0 0 224765 527 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579588405712 140581079867807 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 Current children cumulated CPU time: 18648.2 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 24864496 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 7.15 7.56 7.85 10/219 3217 /proc/meminfo: memFree=5682136/32770624 swapFree=67022120/67108860 [pid=3001] ppid=2998 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/3001/stat : 3001 (xcsp3-exec) S 2998 3001 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420377818 115843072 364 33554432000 4194304 5098028 140735517357856 140735517355960 140631380316796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38436864 140735517365110 140735517365353 140735517365353 140735517368266 0 /proc/3001/statm: 28282 364 305 221 0 87 0 [pid=3003] ppid=3001 vsize=28768328 memory=24863040 CPUtime=18789.5 cores=0-7 /proc/3003/stat : 3003 (java) S 3001 3001 2957 0 -1 1077944320 5242093 0 0 0 1872177 6771 0 0 20 0 28 0 420377819 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140734939659456 140581486804727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 /proc/3003/statm: 7192082 6215760 3559 1 0 7153184 0 [pid=3003/tid=3004] ppid=3001 vsize=28768328 memory=8112282956445269571 CPUtime=97.89 cores=0-7 /proc/3003/task/3004/stat : 3004 (java) S 3001 3001 2957 0 -1 1077944384 22647 0 0 0 9706 83 0 0 20 0 28 0 420377819 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581491045504 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3005] ppid=3001 vsize=28768328 memory=4126316290023845779 CPUtime=45.64 cores=0-7 /proc/3003/task/3005/stat : 3005 (java) S 3001 3001 2957 0 -1 1077944384 158899 0 0 0 4358 206 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581406657296 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3006] ppid=3001 vsize=28768328 memory=916 CPUtime=45.81 cores=0-7 /proc/3003/task/3006/stat : 3006 (java) S 3001 3001 2957 0 -1 1077944384 143963 0 0 0 4365 216 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581405604752 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3007] ppid=3001 vsize=28768328 memory=3908 CPUtime=45.65 cores=0-7 /proc/3003/task/3007/stat : 3007 (java) S 3001 3001 2957 0 -1 1077944384 134798 0 0 0 4355 210 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581404552208 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3008] ppid=3001 vsize=28768328 memory=1412 CPUtime=45.78 cores=0-7 /proc/3003/task/3008/stat : 3008 (java) S 3001 3001 2957 0 -1 1077944384 147712 0 0 0 4251 327 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581403499664 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3009] ppid=3001 vsize=28768328 memory=8112282956445269571 CPUtime=45.77 cores=0-7 /proc/3003/task/3009/stat : 3009 (java) S 3001 3001 2957 0 -1 1077944384 146798 0 0 0 4382 195 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581402446096 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3010] ppid=3001 vsize=28768328 memory=24863040 CPUtime=45.8 cores=0-7 /proc/3003/task/3010/stat : 3010 (java) S 3001 3001 2957 0 -1 1077944384 160553 0 0 0 4368 212 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581401393552 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3011] ppid=3001 vsize=28768328 memory=8112282956445269571 CPUtime=45.71 cores=0-7 /proc/3003/task/3011/stat : 3011 (java) S 3001 3001 2957 0 -1 1077944384 162356 0 0 0 4330 241 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581400341008 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3012] ppid=3001 vsize=28768328 memory=2184 CPUtime=45.78 cores=0-7 /proc/3003/task/3012/stat : 3012 (java) S 3001 3001 2957 0 -1 1077944384 145431 0 0 0 4350 228 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581399288464 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3013] ppid=3001 vsize=28768328 memory=1844 CPUtime=93.39 cores=0-7 /proc/3003/task/3013/stat : 3013 (java) S 3001 3001 2957 0 -1 1077944384 103500 0 0 0 8139 1200 0 0 20 0 28 0 420377821 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580871059952 140581486815874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3014] ppid=3001 vsize=28768328 memory=4956 CPUtime=0 cores=0-7 /proc/3003/task/3014/stat : 3014 (java) S 3001 3001 2957 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 420377822 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580870006240 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3015] ppid=3001 vsize=28768328 memory=1456 CPUtime=0 cores=0-7 /proc/3003/task/3015/stat : 3015 (java) S 3001 3001 2957 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 28 0 420377822 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580868953600 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3016] ppid=3001 vsize=28768328 memory=2676 CPUtime=0 cores=0-7 /proc/3003/task/3016/stat : 3016 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580867902160 140581486823323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3017] ppid=3001 vsize=28768328 memory=13240 CPUtime=4.42 cores=0-7 /proc/3003/task/3017/stat : 3017 (java) S 3001 3001 2957 0 -1 1077944384 35000 0 0 0 436 6 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580866848752 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3018] ppid=3001 vsize=28768328 memory=504 CPUtime=4.71 cores=0-7 /proc/3003/task/3018/stat : 3018 (java) S 3001 3001 2957 0 -1 1077944384 40942 0 0 0 461 10 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580865796208 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3019] ppid=3001 vsize=28768328 memory=1736 CPUtime=5.08 cores=0-7 /proc/3003/task/3019/stat : 3019 (java) S 3001 3001 2957 0 -1 1077944384 38064 0 0 0 504 4 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580864743664 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3020] ppid=3001 vsize=28768328 memory=1772 CPUtime=1.33 cores=0-7 /proc/3003/task/3020/stat : 3020 (java) S 3001 3001 2957 0 -1 1077944384 34788 0 0 0 125 8 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580863691120 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3021] ppid=3001 vsize=28768328 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/3003/task/3021/stat : 3021 (java) S 3001 3001 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420377825 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580862638816 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3022] ppid=3001 vsize=28768328 memory=24863040 CPUtime=1.2 cores=0-7 /proc/3003/task/3022/stat : 3022 (java) S 3001 3001 2957 0 -1 1077944384 4142 0 0 0 62 58 0 0 20 0 28 0 420377825 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580861586352 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3031] ppid=3001 vsize=28768328 memory=1360 CPUtime=2266.55 cores=0-7 /proc/3003/task/3031/stat : 3031 (java) R 3001 3001 2957 0 -1 4202560 199036 0 0 0 226245 410 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579595771144 140581077370757 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3032] ppid=3001 vsize=28768328 memory=7428 CPUtime=2279.29 cores=0-7 /proc/3003/task/3032/stat : 3032 (java) R 3001 3001 2957 0 -1 4202560 134869 0 0 0 227665 264 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579594719224 140581077370859 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3033] ppid=3001 vsize=28768328 memory=24863040 CPUtime=2276.3 cores=0-7 /proc/3003/task/3033/stat : 3033 (java) R 3001 3001 2957 0 -1 4202560 760384 0 0 0 226925 705 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579593666440 140581079503995 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3034] ppid=3001 vsize=28768328 memory=24863040 CPUtime=2275.07 cores=0-7 /proc/3003/task/3034/stat : 3034 (java) R 3001 3001 2957 0 -1 4202560 361053 0 0 0 226993 514 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579592613272 140581079863959 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3035] ppid=3001 vsize=28768328 memory=1612 CPUtime=2278.69 cores=0-7 /proc/3003/task/3035/stat : 3035 (java) R 3001 3001 2957 0 -1 4202560 1103113 0 0 0 227466 403 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579591561064 140581078748963 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3036] ppid=3001 vsize=28768328 memory=1224 CPUtime=2288.68 cores=0-7 /proc/3003/task/3036/stat : 3036 (java) R 3001 3001 2957 0 -1 4202560 95977 0 0 0 228549 319 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579590508184 140581079863205 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3037] ppid=3001 vsize=28768328 memory=3824 CPUtime=2280.09 cores=0-7 /proc/3003/task/3037/stat : 3037 (java) R 3001 3001 2957 0 -1 4202560 738712 0 0 0 227536 473 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579589455256 140581079864142 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 [pid=3003/tid=3038] ppid=3001 vsize=28768328 memory=1384 CPUtime=2270.63 cores=0-7 /proc/3003/task/3038/stat : 3038 (java) R 3001 3001 2957 0 -1 4202560 367885 0 0 0 226536 527 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579588405712 140581079864214 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0 Current children cumulated CPU time: 18789.5 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 24864496 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 3001 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.002452 s, system=0 s [startup+2520.22 s] # the end of solver process 3003 was just reported to runsolver # cumulated CPU time of all completed processes: user=18722.4 s, system=67.8355 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.21 s] /proc/loadavg: 7.15 7.56 7.85 2/192 3219 /proc/meminfo: memFree=11875376/32770624 swapFree=67022120/67108860 Current cumulated CPU time of completed processes: 0.002452 s Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.22 CPU time (s): 18790.2 CPU user time (s): 18722.4 CPU system time (s): 67.8355 CPU usage (%): 745.581 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 24864496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18722.4 system time used= 67.8355 maximum resident set size= 24863448 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5242805 page faults= 0 swaps= 0 block input operations= 8 block output operations= 3048 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 82331 involuntary context switches= 211939 # summary of solver processes directly reported to runsolver: # pid: 3001,3003 # total CPU time (s): 18790.2 # total CPU user time (s): 18722.4 # total CPU system time (s): 67.8355 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 22.346 second user time and 33.3726 second system time The end
Begin job on node150 at 2019-09-14 08:03:32 IDJOB=4394596 IDBENCH=138227 IDSOLVER=2843 FILE ID=node150/4394596-1568441052 RUNJOBID= node150-1568441012-2984 PBS_JOBID= 21702341 Free space on /tmp= 59360 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/BinPacking/BinPacking-mdd-fu/BinPacking-mdd-fu1000-02.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-4394596-1568441052/watcher-4394596-1568441052 -o /tmp/evaluation-result-4394596-1568441052/solver-4394596-1568441052 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568441012-2984 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 645613404 HOME/instance-4394596-1568441052.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 81a54afd524339631fcda48b56d1b2da RANDOM SEED=645613404 node150.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.79 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.79 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.79 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.79 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: 30571948 kB MemAvailable: 31845604 kB Buffers: 156500 kB Cached: 1362316 kB SwapCached: 13560 kB Active: 766392 kB Inactive: 799088 kB Active(anon): 4624 kB Inactive(anon): 68508 kB Active(file): 761768 kB Inactive(file): 730580 kB Unevictable: 109388 kB Mlocked: 109388 kB SwapTotal: 67108860 kB SwapFree: 67022052 kB Dirty: 26504 kB Writeback: 0 kB AnonPages: 143132 kB Mapped: 39348 kB Shmem: 17384 kB Slab: 223784 kB SReclaimable: 194284 kB SUnreclaim: 29500 kB KernelStack: 3312 kB PageTables: 4868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497636 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /tmp at the end= 59332 MiB End job on node150 at 2019-09-14 08:45:33