Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | SAT | 131.781 | 17.3338 |
Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K05-P02.xml |
MD5SUM | 803795f7a37fd3a40686e408980b1bff |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.274715 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 65 |
Number of constraints | 27 |
Number of domains | 2 |
Minimum domain size | 25 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":25,"count":25},{"size":26,"count":10}] |
Minimum variable degree | 0 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":0,"count":30},{"degree":2,"count":25},{"degree":6,"count":10}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":3,"count":25},{"arity":10,"count":1},{"arity":25,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 25 |
Distribution of constraint types | [{"type":"intension","count":25},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404276-1568994979.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404276-1568994979.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.13/0.87 c solve instance... 131.63/17.32 s SATISFIABLE 131.63/17.32 v <instantiation> 131.63/17.32 v <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[0][4] cn[1][0] cn[1][1] cn[1][2] cn[1][3] cn[1][4] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][0][4] ce[0][1][2] ce[0][1][3] ce[0][1][4] ce[0][2][3] ce[0][2][4] ce[0][3][4] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][0][4] ce[1][1][2] ce[1][1][3] ce[1][1][4] ce[1][2][3] ce[1][2][4] ce[1][3][4] cie[0][0] cie[0][1] cie[0][2] cie[0][3] cie[0][4] </list> 131.63/17.32 v <values>18 0 4 25 19 6 23 14 1 3 18 14 7 1 4 25 19 21 15 6 17 8 5 3 9 22 20 13 11 2 12 23 10 24 16 </values> 131.63/17.32 v </instantiation>
OK
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 (5993 MiB free) memory of node 1: 16384 MiB (4919 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404276-1568994979/watcher-4404276-1568994979 -o /tmp/evaluation-result-4404276-1568994979/solver-4404276-1568994979 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568994933-2833 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1903134385 HOME/instance-4404276-1568994979.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=2945, runsolver pid=2942 [startup+0.100114 s]* /proc/loadavg: 1.22 1.06 1.63 3/211 2966 /proc/meminfo: memFree=11160132/32770624 swapFree=66935476/67108860 [pid=2945] ppid=2942 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2945/stat : 2945 (xcsp3-exec) S 2942 2945 2806 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475435740 115843072 363 33554432000 4194304 5098028 140736522391856 140736522389960 140356262056572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26869760 140736522400629 140736522400873 140736522400873 140736522403786 0 /proc/2945/statm: 28282 363 304 221 0 87 0 [pid=2947] ppid=2945 vsize=28227396 memory=29188 CPUtime=0.12 cores=0-7 /proc/2947/stat : 2947 (java) S 2945 2945 2806 0 -1 1077944320 5688 0 0 0 11 1 0 0 20 0 20 0 475435740 28904853504 7297 33554432000 4194304 4196468 140736743536192 140736743518736 140268127792887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 /proc/2947/statm: 7056849 7297 3158 1 0 7019032 0 [pid=2947/tid=2948] ppid=2945 vsize=28227396 memory=-7738186328455407478 CPUtime=0.09 cores=0-7 /proc/2947/task/2948/stat : 2948 (java) R 2945 2945 2806 0 -1 4202560 3605 0 0 0 8 1 0 0 20 0 20 0 475435740 28904853504 7297 33554432000 4194304 4196468 140736743536192 140268132025776 140268127814234 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2949] ppid=2945 vsize=28227396 memory=4277417616405548217 CPUtime=0 cores=0-7 /proc/2947/task/2949/stat : 2949 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435741 28904853504 7297 33554432000 4194304 4196468 140736743536192 140268080413456 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2950] ppid=2945 vsize=28227396 memory=139942455670400 CPUtime=0 cores=0-7 /proc/2947/task/2950/stat : 2950 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435741 28904853504 7297 33554432000 4194304 4196468 140736743536192 140268079360912 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2951] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2951/stat : 2951 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435741 28904853504 7297 33554432000 4194304 4196468 140736743536192 140268078308368 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2952] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2952/stat : 2952 (java) S 2945 2945 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475435741 28904853504 7297 33554432000 4194304 4196468 140736743536192 140268077255824 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2953] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2953/stat : 2953 (java) S 2945 2945 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475435741 28904853504 7297 33554432000 4194304 4196468 140736743536192 140268076202256 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2954] ppid=2945 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2947/task/2954/stat : 2954 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435741 28904853504 7297 33554432000 4194304 4196468 140736743536192 140268075149712 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2955] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2955/stat : 2955 (java) S 2945 2945 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475435741 28904853504 7297 33554432000 4194304 4196468 140736743536192 140268074097168 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2956] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2956/stat : 2956 (java) S 2945 2945 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475435741 28904853504 7297 33554432000 4194304 4196468 140736743536192 140268073044624 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2957] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2957/stat : 2957 (java) S 2945 2945 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475435743 28904853504 7297 33554432000 4194304 4196468 140736743536192 140266726046192 140268127804034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2958] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2958/stat : 2958 (java) S 2945 2945 2806 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475435743 28904853504 7297 33554432000 4194304 4196468 140736743536192 140266724992416 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2959] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2959/stat : 2959 (java) S 2945 2945 2806 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475435743 28904853504 7297 33554432000 4194304 4196468 140736743536192 140266723939824 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2960] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2960/stat : 2960 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435746 28904853504 7297 33554432000 4194304 4196468 140736743536192 140266722888400 140268127811483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2961] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2961/stat : 2961 (java) S 2945 2945 2806 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 475435746 28904853504 7297 33554432000 4194304 4196468 140736743536192 140266721834992 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2962] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2962/stat : 2962 (java) S 2945 2945 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475435746 28904853504 7297 33554432000 4194304 4196468 140736743536192 140266720782448 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2963] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2963/stat : 2963 (java) R 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435746 28904853504 7297 33554432000 4194304 4196468 140736743536192 140266518341872 140268127804034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2964] ppid=2945 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/2947/task/2964/stat : 2964 (java) R 2945 2945 2806 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 475435746 28904853504 7297 33554432000 4194304 4196468 140736743536192 140266517289328 140268127814234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2965] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2965/stat : 2965 (java) S 2945 2945 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475435746 28904853504 7297 33554432000 4194304 4196468 140736743536192 140266516237024 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2966] ppid=2945 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2947/task/2966/stat : 2966 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435746 28904853504 7297 33554432000 4194304 4196468 140736743536192 140266515184560 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30640 KiB [startup+0.210183 s]* /proc/loadavg: 1.22 1.06 1.63 2/211 2966 /proc/meminfo: memFree=11146528/32770624 swapFree=66935476/67108860 [pid=2945] ppid=2942 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2945/stat : 2945 (xcsp3-exec) S 2942 2945 2806 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475435740 115843072 363 33554432000 4194304 5098028 140736522391856 140736522389960 140356262056572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26869760 140736522400629 140736522400873 140736522400873 140736522403786 0 /proc/2945/statm: 28282 363 304 221 0 87 0 [pid=2947] ppid=2945 vsize=28227396 memory=41060 CPUtime=0.33 cores=0-7 /proc/2947/stat : 2947 (java) S 2945 2945 2806 0 -1 1077944320 9505 0 0 0 30 3 0 0 20 0 20 0 475435740 28904853504 10265 33554432000 4194304 4196468 140736743536192 140736743518736 140268127792887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 /proc/2947/statm: 7056849 10265 3284 1 0 7019032 0 [pid=2947/tid=2948] ppid=2945 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7 /proc/2947/task/2948/stat : 2948 (java) R 2945 2945 2806 0 -1 4202560 6633 0 0 0 17 2 0 0 20 0 20 0 475435740 28904853504 10265 33554432000 4194304 4196468 140736743536192 140268132022608 140268111873374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2949] ppid=2945 vsize=28227396 memory=279884630851824 CPUtime=0 cores=0-7 /proc/2947/task/2949/stat : 2949 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435741 28904853504 10265 33554432000 4194304 4196468 140736743536192 140268080413456 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2950] ppid=2945 vsize=28227396 memory=139942455670400 CPUtime=0 cores=0-7 /proc/2947/task/2950/stat : 2950 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435741 28904853504 10265 33554432000 4194304 4196468 140736743536192 140268079360912 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2951] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2951/stat : 2951 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435741 28904853504 10265 33554432000 4194304 4196468 140736743536192 140268078308368 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2952] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2952/stat : 2952 (java) S 2945 2945 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475435741 28904853504 10265 33554432000 4194304 4196468 140736743536192 140268077255824 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2953] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2953/stat : 2953 (java) S 2945 2945 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475435741 28904853504 10265 33554432000 4194304 4196468 140736743536192 140268076202256 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2954] ppid=2945 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2947/task/2954/stat : 2954 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435741 28904853504 10265 33554432000 4194304 4196468 140736743536192 140268075149712 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2955] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2955/stat : 2955 (java) S 2945 2945 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475435741 28904853504 10265 33554432000 4194304 4196468 140736743536192 140268074097168 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2956] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2956/stat : 2956 (java) S 2945 2945 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475435741 28904853504 10265 33554432000 4194304 4196468 140736743536192 140268073044624 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2957] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2957/stat : 2957 (java) S 2945 2945 2806 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475435743 28904853504 10265 33554432000 4194304 4196468 140736743536192 140266726046192 140268127804034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2958] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2958/stat : 2958 (java) S 2945 2945 2806 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475435743 28904853504 10265 33554432000 4194304 4196468 140736743536192 140266724992416 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2959] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2959/stat : 2959 (java) S 2945 2945 2806 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475435743 28904853504 10265 33554432000 4194304 4196468 140736743536192 140266723939824 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2960] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2960/stat : 2960 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435746 28904853504 10265 33554432000 4194304 4196468 140736743536192 140266722888400 140268127811483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2961] ppid=2945 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/2947/task/2961/stat : 2961 (java) S 2945 2945 2806 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 20 0 475435746 28904853504 10265 33554432000 4194304 4196468 140736743536192 140266721834992 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2962] ppid=2945 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/2947/task/2962/stat : 2962 (java) S 2945 2945 2806 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 20 0 475435746 28904853504 10265 33554432000 4194304 4196468 140736743536192 140266720782448 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2963] ppid=2945 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/2947/task/2963/stat : 2963 (java) S 2945 2945 2806 0 -1 1077944384 302 0 0 0 2 0 0 0 20 0 20 0 475435746 28904853504 10265 33554432000 4194304 4196468 140736743536192 140266518341872 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2964] ppid=2945 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/2947/task/2964/stat : 2964 (java) S 2945 2945 2806 0 -1 1077944384 771 0 0 0 7 0 0 0 20 0 20 0 475435746 28904853504 10265 33554432000 4194304 4196468 140736743536192 140266517289328 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2965] ppid=2945 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2965/stat : 2965 (java) S 2945 2945 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475435746 28904853504 10265 33554432000 4194304 4196468 140736743536192 140266516237024 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2966] ppid=2945 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2947/task/2966/stat : 2966 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435746 28904853504 10265 33554432000 4194304 4196468 140736743536192 140266515184560 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42512 KiB [startup+0.309577 s]* /proc/loadavg: 1.22 1.06 1.63 4/211 2966 /proc/meminfo: memFree=11126036/32770624 swapFree=66935476/67108860 [pid=2945] ppid=2942 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2945/stat : 2945 (xcsp3-exec) S 2942 2945 2806 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475435740 115843072 363 33554432000 4194304 5098028 140736522391856 140736522389960 140356262056572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26869760 140736522400629 140736522400873 140736522400873 140736522403786 0 /proc/2945/statm: 28282 363 304 221 0 87 0 [pid=2947] ppid=2945 vsize=28231652 memory=49976 CPUtime=0.52 cores=0-7 /proc/2947/stat : 2947 (java) S 2945 2945 2806 0 -1 1077944320 10856 0 0 0 48 4 0 0 20 0 20 0 475435740 28909211648 12494 33554432000 4194304 4196468 140736743536192 140736743518736 140268127792887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 /proc/2947/statm: 7057913 12494 3331 1 0 7019032 0 [pid=2947/tid=2948] ppid=2945 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/2947/task/2948/stat : 2948 (java) R 2945 2945 2806 0 -1 4202560 7745 0 0 0 27 3 0 0 20 0 20 0 475435740 28909211648 12532 33554432000 4194304 4196468 140736743536192 140268132024000 140268111873374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2949] ppid=2945 vsize=28231652 memory=-7003737579269690708 CPUtime=0 cores=0-7 /proc/2947/task/2949/stat : 2949 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435741 28909211648 12532 33554432000 4194304 4196468 140736743536192 140268080413456 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2950] ppid=2945 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2950/stat : 2950 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435741 28909211648 12532 33554432000 4194304 4196468 140736743536192 140268079360912 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2951] ppid=2945 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2951/stat : 2951 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435741 28909211648 12532 33554432000 4194304 4196468 140736743536192 140268078308368 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2952] ppid=2945 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2952/stat : 2952 (java) S 2945 2945 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475435741 28909211648 12532 33554432000 4194304 4196468 140736743536192 140268077255824 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2953] ppid=2945 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2953/stat : 2953 (java) S 2945 2945 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475435741 28909211648 12532 33554432000 4194304 4196468 140736743536192 140268076202256 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2954] ppid=2945 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2954/stat : 2954 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435741 28909211648 12532 33554432000 4194304 4196468 140736743536192 140268075149712 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2955] ppid=2945 vsize=28231652 memory=139942315518639 CPUtime=0 cores=0-7 /proc/2947/task/2955/stat : 2955 (java) S 2945 2945 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475435741 28909211648 12532 33554432000 4194304 4196468 140736743536192 140268074097168 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2956] ppid=2945 vsize=28231652 memory=139942315520944 CPUtime=0 cores=0-7 /proc/2947/task/2956/stat : 2956 (java) S 2945 2945 2806 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475435741 28909211648 12532 33554432000 4194304 4196468 140736743536192 140268073044624 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2957] ppid=2945 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2957/stat : 2957 (java) S 2945 2945 2806 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 475435743 28909211648 12532 33554432000 4194304 4196468 140736743536192 140266726046192 140268127804034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2958] ppid=2945 vsize=28231652 memory=1970350607106051 CPUtime=0 cores=0-7 /proc/2947/task/2958/stat : 2958 (java) S 2945 2945 2806 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475435743 28909211648 12532 33554432000 4194304 4196468 140736743536192 140266724992416 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2959] ppid=2945 vsize=28231652 memory=2110292922631588 CPUtime=0 cores=0-7 /proc/2947/task/2959/stat : 2959 (java) S 2945 2945 2806 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475435743 28909211648 12532 33554432000 4194304 4196468 140736743536192 140266723939824 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2960] ppid=2945 vsize=28231652 memory=2110292922633892 CPUtime=0 cores=0-7 /proc/2947/task/2960/stat : 2960 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435746 28909211648 12532 33554432000 4194304 4196468 140736743536192 140266722888400 140268127811483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2961] ppid=2945 vsize=28231652 memory=2110292922659540 CPUtime=0.02 cores=0-7 /proc/2947/task/2961/stat : 2961 (java) S 2945 2945 2806 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 20 0 475435746 28909211648 12532 33554432000 4194304 4196468 140736743536192 140266721834992 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2962] ppid=2945 vsize=28231652 memory=2110292922638500 CPUtime=0.02 cores=0-7 /proc/2947/task/2962/stat : 2962 (java) R 2945 2945 2806 0 -1 4202560 159 0 0 0 2 0 0 0 20 0 20 0 475435746 28909211648 12532 33554432000 4194304 4196468 140736743536192 140266720772832 140268108374423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2963] ppid=2945 vsize=28231652 memory=2110292922659572 CPUtime=0.03 cores=0-7 /proc/2947/task/2963/stat : 2963 (java) S 2945 2945 2806 0 -1 1077944384 317 0 0 0 3 0 0 0 20 0 20 0 475435746 28909211648 12532 33554432000 4194304 4196468 140736743536192 140266518341872 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2964] ppid=2945 vsize=28231652 memory=2110292922659604 CPUtime=0.12 cores=0-7 /proc/2947/task/2964/stat : 2964 (java) S 2945 2945 2806 0 -1 1077944384 872 0 0 0 12 0 0 0 20 0 20 0 475435746 28909211648 12532 33554432000 4194304 4196468 140736743536192 140266517289328 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2965] ppid=2945 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2965/stat : 2965 (java) S 2945 2945 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475435746 28909211648 12532 33554432000 4194304 4196468 140736743536192 140266516237024 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2966] ppid=2945 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/2947/task/2966/stat : 2966 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435746 28909211648 12532 33554432000 4194304 4196468 140736743536192 140266515184560 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51428 KiB [startup+0.703843 s] /proc/loadavg: 1.22 1.06 1.63 1/211 2966 /proc/meminfo: memFree=11134268/32770624 swapFree=66935476/67108860 [pid=2945] ppid=2942 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2945/stat : 2945 (xcsp3-exec) S 2942 2945 2806 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475435740 115843072 363 33554432000 4194304 5098028 140736522391856 140736522389960 140356262056572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26869760 140736522400629 140736522400873 140736522400873 140736522403786 0 /proc/2945/statm: 28282 363 304 221 0 87 0 [pid=2947] ppid=2945 vsize=28233776 memory=61652 CPUtime=0.87 cores=0-7 /proc/2947/stat : 2947 (java) S 2945 2945 2806 0 -1 1077944320 13293 0 0 0 82 5 0 0 20 0 20 0 475435740 28911386624 15413 33554432000 4194304 4196468 140736743536192 140736743518736 140268127792887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 /proc/2947/statm: 7058444 15413 3416 1 0 7019544 0 [pid=2947/tid=2948] ppid=2945 vsize=28233776 memory=139942315611120 CPUtime=0.45 cores=0-7 /proc/2947/task/2948/stat : 2948 (java) R 2945 2945 2806 0 -1 4202560 9064 0 0 0 42 3 0 0 20 0 20 0 475435740 28911386624 15413 33554432000 4194304 4196468 140736743536192 140268132030048 140268127804822 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2949] ppid=2945 vsize=28233776 memory=139942315611216 CPUtime=0 cores=0-7 /proc/2947/task/2949/stat : 2949 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435741 28911386624 15413 33554432000 4194304 4196468 140736743536192 140268080413456 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2950] ppid=2945 vsize=28233776 memory=139942315611312 CPUtime=0 cores=0-7 /proc/2947/task/2950/stat : 2950 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435741 28911386624 15413 33554432000 4194304 4196468 140736743536192 140268079360912 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2951] ppid=2945 vsize=28233776 memory=139942315611408 CPUtime=0 cores=0-7 /proc/2947/task/2951/stat : 2951 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475435741 28911386624 15413 33554432000 4194304 4196468 140736743536192 140268078308368 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 ################ # More data... # ################ [pid=2947/tid=2964] ppid=2945 vsize=28766288 memory=8112282956445269571 CPUtime=0.67 cores=0-7 /proc/2947/task/2964/stat : 2964 (java) S 2945 2945 2806 0 -1 1077944384 5571 0 0 0 66 1 0 0 20 0 28 0 475435746 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266517289328 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2965] ppid=2945 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/2947/task/2965/stat : 2965 (java) S 2945 2945 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475435746 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266516237024 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2966] ppid=2945 vsize=28766288 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/2947/task/2966/stat : 2966 (java) S 2945 2945 2806 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 28 0 475435746 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266515184560 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2967] ppid=2945 vsize=28766288 memory=0 CPUtime=15.09 cores=0-7 /proc/2947/task/2967/stat : 2967 (java) R 2945 2945 2806 0 -1 4202560 408 0 0 0 1509 0 0 0 20 0 28 0 475435828 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266505964880 140267748250782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2968] ppid=2945 vsize=28766288 memory=279884632035920 CPUtime=15.18 cores=0-7 /proc/2947/task/2968/stat : 2968 (java) R 2945 2945 2806 0 -1 4202560 310 0 0 0 1518 0 0 0 20 0 28 0 475435828 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266504913456 140267748437370 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2969] ppid=2945 vsize=28766288 memory=14834213063402 CPUtime=14.89 cores=0-7 /proc/2947/task/2969/stat : 2969 (java) R 2945 2945 2806 0 -1 4202560 680 0 0 0 1488 1 0 0 20 0 28 0 475435828 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266503860568 140267749477524 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2970] ppid=2945 vsize=28766288 memory=14834213063402 CPUtime=15.09 cores=0-7 /proc/2947/task/2970/stat : 2970 (java) R 2945 2945 2806 0 -1 4202560 651 0 0 0 1508 1 0 0 20 0 28 0 475435828 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266502807888 140267747891928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2971] ppid=2945 vsize=28766288 memory=14834213063402 CPUtime=15.1 cores=0-7 /proc/2947/task/2971/stat : 2971 (java) R 2945 2945 2806 0 -1 4202560 521 0 0 0 1510 0 0 0 20 0 28 0 475435828 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266501754752 140267747931762 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2972] ppid=2945 vsize=28766288 memory=14834213063402 CPUtime=15.01 cores=0-7 /proc/2947/task/2972/stat : 2972 (java) R 2945 2945 2806 0 -1 4202560 527 0 0 0 1501 0 0 0 20 0 28 0 475435828 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266500702936 140267749476351 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2973] ppid=2945 vsize=28766288 memory=14834213063402 CPUtime=15.02 cores=0-7 /proc/2947/task/2973/stat : 2973 (java) R 2945 2945 2806 0 -1 4202560 290 0 0 0 1502 0 0 0 20 0 28 0 475435828 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266499649768 140267749475775 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2974] ppid=2945 vsize=28766288 memory=14834213063402 CPUtime=15.11 cores=0-7 /proc/2947/task/2974/stat : 2974 (java) R 2945 2945 2806 0 -1 4202560 483 0 0 0 1510 1 0 0 20 0 28 0 475435829 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266498600016 140267749023294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 Current children cumulated CPU time: 127.66 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 215096 KiB [startup+17.2017 s] /proc/loadavg: 2.99 1.47 1.75 9/220 2976 /proc/meminfo: memFree=10973436/32770624 swapFree=66935476/67108860 [pid=2945] ppid=2942 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2945/stat : 2945 (xcsp3-exec) S 2942 2945 2806 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475435740 115843072 363 33554432000 4194304 5098028 140736522391856 140736522389960 140356262056572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26869760 140736522400629 140736522400873 140736522400873 140736522403786 0 /proc/2945/statm: 28282 363 304 221 0 87 0 [pid=2947] ppid=2945 vsize=28766288 memory=213644 CPUtime=130.84 cores=0-7 /proc/2947/stat : 2947 (java) S 2945 2945 2806 0 -1 1077944320 50328 0 0 0 13056 28 0 0 20 0 28 0 475435740 29456678912 53411 33554432000 4194304 4196468 140736743536192 140736743518736 140268127792887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 /proc/2947/statm: 7191572 53411 3515 1 0 7152672 0 [pid=2947/tid=2948] ppid=2945 vsize=28766288 memory=1580 CPUtime=0.62 cores=0-7 /proc/2947/task/2948/stat : 2948 (java) S 2945 2945 2806 0 -1 1077944384 9294 0 0 0 59 3 0 0 20 0 28 0 475435740 29456678912 53411 33554432000 4194304 4196468 140736743536192 140268132033664 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2949] ppid=2945 vsize=28766288 memory=8317482817917895235 CPUtime=0.02 cores=0-7 /proc/2947/task/2949/stat : 2949 (java) S 2945 2945 2806 0 -1 1077944384 580 0 0 0 2 0 0 0 20 0 28 0 475435741 29456678912 53411 33554432000 4194304 4196468 140736743536192 140268080413456 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2950] ppid=2945 vsize=28766288 memory=8112282956445269571 CPUtime=0.03 cores=0-7 /proc/2947/task/2950/stat : 2950 (java) S 2945 2945 2806 0 -1 1077944384 80 0 0 0 2 1 0 0 20 0 28 0 475435741 29456678912 53411 33554432000 4194304 4196468 140736743536192 140268079360912 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2951] ppid=2945 vsize=28766288 memory=7518007973389428055 CPUtime=0.02 cores=0-7 /proc/2947/task/2951/stat : 2951 (java) S 2945 2945 2806 0 -1 1077944384 712 0 0 0 2 0 0 0 20 0 28 0 475435741 29456678912 53411 33554432000 4194304 4196468 140736743536192 140268078308368 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2952] ppid=2945 vsize=28766288 memory=6656426216303648864 CPUtime=0.02 cores=0-7 /proc/2947/task/2952/stat : 2952 (java) S 2945 2945 2806 0 -1 1077944384 1665 0 0 0 2 0 0 0 20 0 28 0 475435741 29456678912 53411 33554432000 4194304 4196468 140736743536192 140268077255824 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2953] ppid=2945 vsize=28766288 memory=6944656592387989600 CPUtime=0.02 cores=0-7 /proc/2947/task/2953/stat : 2953 (java) S 2945 2945 2806 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 28 0 475435741 29456678912 53411 33554432000 4194304 4196468 140736743536192 140268076202256 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2954] ppid=2945 vsize=28766288 memory=6154824643194414951 CPUtime=0.02 cores=0-7 /proc/2947/task/2954/stat : 2954 (java) S 2945 2945 2806 0 -1 1077944384 87 0 0 0 2 0 0 0 20 0 28 0 475435741 29456678912 53411 33554432000 4194304 4196468 140736743536192 140268075149712 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2955] ppid=2945 vsize=28766288 memory=3467841327254104384 CPUtime=0.01 cores=0-7 /proc/2947/task/2955/stat : 2955 (java) S 2945 2945 2806 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 28 0 475435741 29456678912 53411 33554432000 4194304 4196468 140736743536192 140268074097168 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2956] ppid=2945 vsize=28766288 memory=0 CPUtime=0.02 cores=0-7 /proc/2947/task/2956/stat : 2956 (java) S 2945 2945 2806 0 -1 1077944384 289 0 0 0 2 0 0 0 20 0 28 0 475435741 29456678912 53411 33554432000 4194304 4196468 140736743536192 140268073044624 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2957] ppid=2945 vsize=28766288 memory=6082511980443429220 CPUtime=0.02 cores=0-7 /proc/2947/task/2957/stat : 2957 (java) S 2945 2945 2806 0 -1 1077944384 792 0 0 0 2 0 0 0 20 0 28 0 475435743 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266726046192 140268127804034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2958] ppid=2945 vsize=28766288 memory=7367994820020691277 CPUtime=0 cores=0-7 /proc/2947/task/2958/stat : 2958 (java) S 2945 2945 2806 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 475435743 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266724992480 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2959] ppid=2945 vsize=28766288 memory=6084200813073884517 CPUtime=0 cores=0-7 /proc/2947/task/2959/stat : 2959 (java) S 2945 2945 2806 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 475435743 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266723939840 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2960] ppid=2945 vsize=28766288 memory=7014751519683729507 CPUtime=0 cores=0-7 /proc/2947/task/2960/stat : 2960 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475435746 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266722888400 140268127811483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2961] ppid=2945 vsize=28766288 memory=7512114578044973668 CPUtime=1.88 cores=0-7 /proc/2947/task/2961/stat : 2961 (java) S 2945 2945 2806 0 -1 1077944384 9788 0 0 0 185 3 0 0 20 0 28 0 475435746 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266721834992 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2962] ppid=2945 vsize=28766288 memory=4639948313719891052 CPUtime=1.75 cores=0-7 /proc/2947/task/2962/stat : 2962 (java) S 2945 2945 2806 0 -1 1077944384 7335 0 0 0 173 2 0 0 20 0 28 0 475435746 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266720782448 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2963] ppid=2945 vsize=28766288 memory=304274648164728858 CPUtime=1.83 cores=0-7 /proc/2947/task/2963/stat : 2963 (java) S 2945 2945 2806 0 -1 1077944384 8300 0 0 0 181 2 0 0 20 0 28 0 475435746 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266518341872 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2964] ppid=2945 vsize=28766288 memory=0 CPUtime=0.67 cores=0-7 /proc/2947/task/2964/stat : 2964 (java) S 2945 2945 2806 0 -1 1077944384 5571 0 0 0 66 1 0 0 20 0 28 0 475435746 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266517289328 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2965] ppid=2945 vsize=28766288 memory=288291094943498821 CPUtime=0 cores=0-7 /proc/2947/task/2965/stat : 2965 (java) S 2945 2945 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475435746 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266516237024 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2966] ppid=2945 vsize=28766288 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/2947/task/2966/stat : 2966 (java) S 2945 2945 2806 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 28 0 475435746 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266515184560 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2967] ppid=2945 vsize=28766288 memory=6655300316396806240 CPUtime=15.49 cores=0-7 /proc/2947/task/2967/stat : 2967 (java) R 2945 2945 2806 0 -1 4202560 411 0 0 0 1549 0 0 0 20 0 28 0 475435828 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266505964880 140267749162463 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2968] ppid=2945 vsize=28766288 memory=6655300316396806240 CPUtime=15.58 cores=0-7 /proc/2947/task/2968/stat : 2968 (java) R 2945 2945 2806 0 -1 4202560 314 0 0 0 1558 0 0 0 20 0 28 0 475435828 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266504913456 140267748439049 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2969] ppid=2945 vsize=28766288 memory=8028905955312100672 CPUtime=15.29 cores=0-7 /proc/2947/task/2969/stat : 2969 (java) R 2945 2945 2806 0 -1 4202560 681 0 0 0 1528 1 0 0 20 0 28 0 475435828 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266503860568 140267747998024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2970] ppid=2945 vsize=28766288 memory=4641049920903598179 CPUtime=15.49 cores=0-7 /proc/2947/task/2970/stat : 2970 (java) R 2945 2945 2806 0 -1 4202560 653 0 0 0 1548 1 0 0 20 0 28 0 475435828 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266502807888 140267749476528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2971] ppid=2945 vsize=28766288 memory=7019467087973529906 CPUtime=15.5 cores=0-7 /proc/2947/task/2971/stat : 2971 (java) R 2945 2945 2806 0 -1 4202560 526 0 0 0 1550 0 0 0 20 0 28 0 475435828 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266501754752 140267749475852 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2972] ppid=2945 vsize=28766288 memory=0 CPUtime=15.41 cores=0-7 /proc/2947/task/2972/stat : 2972 (java) R 2945 2945 2806 0 -1 4202560 530 0 0 0 1541 0 0 0 20 0 28 0 475435828 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266500702936 140267749476678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2973] ppid=2945 vsize=28766288 memory=3251651845867716819 CPUtime=15.41 cores=0-7 /proc/2947/task/2973/stat : 2973 (java) R 2945 2945 2806 0 -1 4202560 293 0 0 0 1541 0 0 0 20 0 28 0 475435828 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266499649768 140267749476682 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2974] ppid=2945 vsize=28766288 memory=23076 CPUtime=15.51 cores=0-7 /proc/2947/task/2974/stat : 2974 (java) R 2945 2945 2806 0 -1 4202560 489 0 0 0 1550 1 0 0 20 0 28 0 475435829 29456678912 53411 33554432000 4194304 4196468 140736743536192 140266498600016 140267748891920 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 Current children cumulated CPU time: 130.84 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 215096 KiB [startup+17.3017 s] /proc/loadavg: 2.99 1.47 1.75 9/220 2976 /proc/meminfo: memFree=10973436/32770624 swapFree=66935476/67108860 [pid=2945] ppid=2942 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2945/stat : 2945 (xcsp3-exec) S 2942 2945 2806 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475435740 115843072 363 33554432000 4194304 5098028 140736522391856 140736522389960 140356262056572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26869760 140736522400629 140736522400873 140736522400873 140736522403786 0 /proc/2945/statm: 28282 363 304 221 0 87 0 [pid=2947] ppid=2945 vsize=28766288 memory=213640 CPUtime=131.63 cores=0-7 /proc/2947/stat : 2947 (java) S 2945 2945 2806 0 -1 1077944320 50375 0 0 0 13134 29 0 0 20 0 28 0 475435740 29456678912 53410 33554432000 4194304 4196468 140736743536192 140736743518736 140268127792887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 /proc/2947/statm: 7191572 53410 3515 1 0 7152672 0 [pid=2947/tid=2948] ppid=2945 vsize=28766288 memory=1452 CPUtime=0.62 cores=0-7 /proc/2947/task/2948/stat : 2948 (java) S 2945 2945 2806 0 -1 1077944384 9294 0 0 0 59 3 0 0 20 0 28 0 475435740 29456678912 53410 33554432000 4194304 4196468 140736743536192 140268132033664 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2949] ppid=2945 vsize=28766288 memory=216720 CPUtime=0.02 cores=0-7 /proc/2947/task/2949/stat : 2949 (java) S 2945 2945 2806 0 -1 1077944384 582 0 0 0 2 0 0 0 20 0 28 0 475435741 29456678912 53410 33554432000 4194304 4196468 140736743536192 140268080413456 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2950] ppid=2945 vsize=28766288 memory=216720 CPUtime=0.03 cores=0-7 /proc/2947/task/2950/stat : 2950 (java) S 2945 2945 2806 0 -1 1077944384 81 0 0 0 2 1 0 0 20 0 28 0 475435741 29456678912 53410 33554432000 4194304 4196468 140736743536192 140268079360912 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2951] ppid=2945 vsize=28766288 memory=5793721935559092580 CPUtime=0.02 cores=0-7 /proc/2947/task/2951/stat : 2951 (java) S 2945 2945 2806 0 -1 1077944384 715 0 0 0 2 0 0 0 20 0 28 0 475435741 29456678912 53410 33554432000 4194304 4196468 140736743536192 140268078308368 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2952] ppid=2945 vsize=28766288 memory=7014751519683729507 CPUtime=0.02 cores=0-7 /proc/2947/task/2952/stat : 2952 (java) S 2945 2945 2806 0 -1 1077944384 1665 0 0 0 2 0 0 0 20 0 28 0 475435741 29456678912 53410 33554432000 4194304 4196468 140736743536192 140268077255824 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2953] ppid=2945 vsize=28766288 memory=7014751519683729507 CPUtime=0.02 cores=0-7 /proc/2947/task/2953/stat : 2953 (java) S 2945 2945 2806 0 -1 1077944384 236 0 0 0 2 0 0 0 20 0 28 0 475435741 29456678912 53410 33554432000 4194304 4196468 140736743536192 140268076202256 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2954] ppid=2945 vsize=28766288 memory=0 CPUtime=0.02 cores=0-7 /proc/2947/task/2954/stat : 2954 (java) S 2945 2945 2806 0 -1 1077944384 87 0 0 0 2 0 0 0 20 0 28 0 475435741 29456678912 53410 33554432000 4194304 4196468 140736743536192 140268075149712 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2955] ppid=2945 vsize=28766288 memory=-7965959130280075168 CPUtime=0.01 cores=0-7 /proc/2947/task/2955/stat : 2955 (java) S 2945 2945 2806 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 28 0 475435741 29456678912 53410 33554432000 4194304 4196468 140736743536192 140268074097168 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2956] ppid=2945 vsize=28766288 memory=0 CPUtime=0.02 cores=0-7 /proc/2947/task/2956/stat : 2956 (java) S 2945 2945 2806 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 28 0 475435741 29456678912 53410 33554432000 4194304 4196468 140736743536192 140268073044624 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2957] ppid=2945 vsize=28766288 memory=0 CPUtime=0.03 cores=0-7 /proc/2947/task/2957/stat : 2957 (java) S 2945 2945 2806 0 -1 1077944384 800 0 0 0 2 1 0 0 20 0 28 0 475435743 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266726046192 140268127804034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2958] ppid=2945 vsize=28766288 memory=988 CPUtime=0 cores=0-7 /proc/2947/task/2958/stat : 2958 (java) S 2945 2945 2806 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 475435743 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266724992480 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2959] ppid=2945 vsize=28766288 memory=2012 CPUtime=0 cores=0-7 /proc/2947/task/2959/stat : 2959 (java) S 2945 2945 2806 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 475435743 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266723939840 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2960] ppid=2945 vsize=28766288 memory=1320 CPUtime=0 cores=0-7 /proc/2947/task/2960/stat : 2960 (java) S 2945 2945 2806 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475435746 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266722888400 140268127811483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2961] ppid=2945 vsize=28766288 memory=1700 CPUtime=1.88 cores=0-7 /proc/2947/task/2961/stat : 2961 (java) S 2945 2945 2806 0 -1 1077944384 9788 0 0 0 185 3 0 0 20 0 28 0 475435746 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266721834992 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2962] ppid=2945 vsize=28766288 memory=41548 CPUtime=1.75 cores=0-7 /proc/2947/task/2962/stat : 2962 (java) S 2945 2945 2806 0 -1 1077944384 7335 0 0 0 173 2 0 0 20 0 28 0 475435746 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266720782448 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2963] ppid=2945 vsize=28766288 memory=988 CPUtime=1.83 cores=0-7 /proc/2947/task/2963/stat : 2963 (java) S 2945 2945 2806 0 -1 1077944384 8300 0 0 0 181 2 0 0 20 0 28 0 475435746 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266518341872 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2964] ppid=2945 vsize=28766288 memory=2012 CPUtime=0.67 cores=0-7 /proc/2947/task/2964/stat : 2964 (java) S 2945 2945 2806 0 -1 1077944384 5571 0 0 0 66 1 0 0 20 0 28 0 475435746 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266517289328 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2965] ppid=2945 vsize=28766288 memory=1320 CPUtime=0 cores=0-7 /proc/2947/task/2965/stat : 2965 (java) S 2945 2945 2806 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475435746 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266516237024 140268127803093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2966] ppid=2945 vsize=28766288 memory=1700 CPUtime=0 cores=0-7 /proc/2947/task/2966/stat : 2966 (java) S 2945 2945 2806 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 28 0 475435746 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266515184560 140268127804034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2967] ppid=2945 vsize=28766288 memory=2241 CPUtime=15.58 cores=0-7 /proc/2947/task/2967/stat : 2967 (java) R 2945 2945 2806 0 -1 4202560 412 0 0 0 1558 0 0 0 20 0 28 0 475435828 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266505964936 140267747892515 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2968] ppid=2945 vsize=28766288 memory=2244 CPUtime=15.68 cores=0-7 /proc/2947/task/2968/stat : 2968 (java) R 2945 2945 2806 0 -1 4202560 314 0 0 0 1568 0 0 0 20 0 28 0 475435828 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266504913656 140267748577699 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2969] ppid=2945 vsize=28766288 memory=0 CPUtime=15.39 cores=0-7 /proc/2947/task/2969/stat : 2969 (java) R 2945 2945 2806 0 -1 4202560 683 0 0 0 1538 1 0 0 20 0 28 0 475435828 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266503859696 140267751199510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2970] ppid=2945 vsize=28766288 memory=279884632618080 CPUtime=15.58 cores=0-7 /proc/2947/task/2970/stat : 2970 (java) R 2945 2945 2806 0 -1 4202560 654 0 0 0 1557 1 0 0 20 0 28 0 475435828 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266502807480 140267748437349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2971] ppid=2945 vsize=28766288 memory=0 CPUtime=15.6 cores=0-7 /proc/2947/task/2971/stat : 2971 (java) R 2945 2945 2806 0 -1 4202560 528 0 0 0 1560 0 0 0 20 0 28 0 475435828 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266501755480 140267749023486 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2972] ppid=2945 vsize=28766288 memory=1452 CPUtime=15.51 cores=0-7 /proc/2947/task/2972/stat : 2972 (java) R 2945 2945 2806 0 -1 4202560 532 0 0 0 1551 0 0 0 20 0 28 0 475435828 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266500702392 140267748577248 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2973] ppid=2945 vsize=28766288 memory=230496 CPUtime=15.5 cores=0-7 /proc/2947/task/2973/stat : 2973 (java) R 2945 2945 2806 0 -1 4202560 293 0 0 0 1550 0 0 0 20 0 28 0 475435828 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266499649752 140267748250984 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 [pid=2947/tid=2974] ppid=2945 vsize=28766288 memory=25512105744178 CPUtime=15.61 cores=0-7 /proc/2947/task/2974/stat : 2974 (java) R 2945 2945 2806 0 -1 4202560 489 0 0 0 1560 1 0 0 20 0 28 0 475435829 29456678912 53410 33554432000 4194304 4196468 140736743536192 140266498600016 140267749413854 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24506368 140736743539690 140736743539862 140736743539862 140736743542735 0 Current children cumulated CPU time: 131.63 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 215092 KiB Child status: 0 Real time (s): 17.3338 CPU time (s): 131.781 CPU user time (s): 131.469 CPU system time (s): 0.31198 CPU usage (%): 760.259 Max. virtual memory (cumulated for all children) (KiB): 28881220 Max. memory (cumulated for all children) (KiB): 233484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 131.469 system time used= 0.31198 maximum resident set size= 238188 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52262 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5505 involuntary context switches= 2201 # summary of solver processes directly reported to runsolver: # pid: 2945 # total CPU time (s): 131.781 # total CPU user time (s): 131.469 # total CPU system time (s): 0.31198 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.208756 second user time and 0.195215 second system time The end
Begin job on node141 at 2019-09-20 17:55:37 IDJOB=4404276 IDBENCH=120720 IDSOLVER=2865 FILE ID=node141/4404276-1568994979 RUNJOBID= node141-1568994933-2833 PBS_JOBID= 21704732 Free space on /tmp= 22848 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K05-P02.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-4404276-1568994979/watcher-4404276-1568994979 -o /tmp/evaluation-result-4404276-1568994979/solver-4404276-1568994979 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568994933-2833 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1903134385 HOME/instance-4404276-1568994979.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 803795f7a37fd3a40686e408980b1bff RANDOM SEED=1903134385 node141.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 : 5332.93 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 : 5332.93 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 : 5332.93 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 : 5332.93 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: 11175476 kB MemAvailable: 31798340 kB Buffers: 124768 kB Cached: 20749544 kB SwapCached: 62344 kB Active: 10379752 kB Inactive: 10560440 kB Active(anon): 3584 kB Inactive(anon): 106180 kB Active(file): 10376168 kB Inactive(file): 10454260 kB Unevictable: 109292 kB Mlocked: 109292 kB SwapTotal: 67108860 kB SwapFree: 66935476 kB Dirty: 26336 kB Writeback: 0 kB AnonPages: 113140 kB Mapped: 48292 kB Shmem: 35268 kB Slab: 245756 kB SReclaimable: 216540 kB SUnreclaim: 29216 kB KernelStack: 3408 kB PageTables: 5236 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506252 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: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 22824 MiB End job on node141 at 2019-09-20 17:55:54